Extra files installed if docbook2html is not available

[guest]

The "User's guide" included in the Hugs package is only installed by the build procedure when the docbook2html utility is available. This can be seen in the doc/useres_guide/Makefile.am file, whose '$(HTML)' target populates the '$(ROOT)' directory with all the documentation files that will be installed.

The problem is that even if docbook2html is not available, the package installs two files in the target documentation directory: '$(CSS_FILE)' and '$(IMAGE)', both of which are useless without the real documents in place. This is not a big problem but makes the resulting installation "ugly". If I did not want to build documentation in the first place, I do not want any related files to be installed.

The solution is to only installs those files when the docbook2html utility is available. (I'm not too familiar with Trac, so I'm going to submit this and hope that I can later attach the proposed patch... as Bugzilla does.)

Submitted by: Julio M. Merino Vidal <jmmv@…>

[guest]

Proposed patch.

[ross]

patch applied, thanks