#33: Extra files installed if docbook2html is not available
--------------------------+-------------------------------------------------
Reporter: guest | Owner: nobody
Type: defect | Status: new
Priority: minor | Milestone:
Component: build system | Version: 200605
Keywords: |
--------------------------+-------------------------------------------------
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