diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2000-11-05 21:04:07 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2000-11-05 21:04:07 +0000 |
| commit | 7267fdd7a3ae0a8a169e9730bdfaa46fde7dd94b (patch) | |
| tree | 6bd8e8aa7bc6cbac1f984e011437cdf0eed0234f /doc/src/graphics | |
| parent | bee6cc6f9c92424e88f7c195e60e645da8b9cbcf (diff) | |
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.
Diffstat (limited to 'doc/src/graphics')
0 files changed, 0 insertions, 0 deletions