Peter Eisentraut c0a9283742 Rename collect_* options to more user-friendly names.

2001-09-23 21:52:36 +00:00

..

FAQ

Update FAQ.

2001-09-23 00:07:50 +00:00

graphics

These aren't used anymore.

2000-10-08 13:25:11 +00:00

sgml

Rename collect_* options to more user-friendly names.

2001-09-23 21:52:36 +00:00

Makefile

Generate index.html as the root file name of the documentation set,

2001-09-18 12:08:27 +00:00