I must admit that I do not really understand the rationale with the admon-* icons management in gnome-doc-tool script with '--copy_graphics' option.

1. Icons used in the input XML document are identified and passed to xsltproc as a string param, e.g. --stringparam theme.icon.admon.tip admon-tip. It happens that this just override the defaults set in /usr/share/xml/gnome/xslt/common/theme.xsl, which appears bad to me:

- with 'admon-tip' stringparam value, the style is generated with
  background-image: url("admon-tip");

- while the default value would have generated the more correct (I think)
  background-image: url("admon-tip.png");

2. So the only interest of identifying used admon- icons would be to install only them, and not the unused ones, besides of the HTML document, which does not happen at all.

I am willing to provide a patch to fix these two points if you agree with that.
Or, of course, hear why I am wrong.

Regards.