Peter Eisentraut
|
7267fdd7a3
|
Add some configure checks for DocBook and related tools. With a somewhat
standard installation layout it should be possible to build the HTML
and print documentation without additional manual setup.
|
2000-11-05 21:04:07 +00:00 |