Fix header for the texinfo version of the manual.
commitf074b7068bc6c9f90766e42be9efa24542b33bf2
authorJoost Kremers <joostkremers@users.sourceforge.net>
Sat, 11 Dec 2010 20:28:00 +0000 (11 21:28 +0100)
committerJoost Kremers <joostkremers@users.sourceforge.net>
Sat, 11 Dec 2010 20:28:00 +0000 (11 21:28 +0100)
tree52e51aec57e04b6933335b4ffc98d40fe616b176
parentaeb9ca635f6cbdaeff2b2e94bb5a7a6c9fc8cf4d
Fix header for the texinfo version of the manual.
manual/.ebib.text.texinfo.pandoc
manual/ebib-manual-header.texi