Commit a9d9bfed authored by jcole@tetra.spaceapes.com's avatar jcole@tetra.spaceapes.com
Browse files

try this again..

parent c1cb8e77

Docs/manual.texi

+1 −0
Original line number Diff line number Diff line
@@ -78,6 +78,7 @@ END-INFO-DIR-ENTRY 
@c Short contents, blank page, long contents.

@shortcontents

@page

@page

@contents















@c This should be added. The HTML conversion also needs a MySQL version