Peter Eisentraut cb5fa4130e doc: Tweak reference page header style ...

Change the header style of references pages in HTML and PDF output to be
more like the old style under DSSSL.  In particular, the page should
start with a header containing the command name, instead of just "Name".

2017-03-18 14:17:28 -04:00

..

src

doc: Tweak reference page header style

2017-03-18 14:17:28 -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

…