Peter Eisentraut 5196f13b27 doc: Fix oldhtml/old PDF build again ...

Commit e259e1f748c7a6d67e307a90d6c27b8ab8b90df8 was faulty and created
some broken output.  This one fixes it better.

2017-03-27 11:58:52 -04:00

..

src

doc: Fix oldhtml/old PDF build again

2017-03-27 11:58:52 -04:00

bug.template

Stamp HEAD as 10devel.

2016-08-15 13:49:49 -04:00

KNOWN_BUGS

…

Makefile

Remove maintainer-check target, fold into normal build

2013-10-10 20:11:56 -04:00

MISSING_FEATURES

…

TODO

…