diff options
author | unknown <jcole@tetra.spaceapes.com> | 2001-08-02 03:29:27 -0500 |
---|---|---|
committer | unknown <jcole@tetra.spaceapes.com> | 2001-08-02 03:29:27 -0500 |
commit | 03c23b5126f75986d1d5cc7aa16857d84a579919 (patch) | |
tree | b4028b1e7e50dac38c0ff2be79931067e0ca4cfc /Docs | |
parent | a636f4cb8afc37dde23d76f0ff4dcbb532f0735b (diff) | |
download | mariadb-git-03c23b5126f75986d1d5cc7aa16857d84a579919.tar.gz |
try this again..
Diffstat (limited to 'Docs')
-rw-r--r-- | Docs/manual.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Docs/manual.texi b/Docs/manual.texi index b27f353df2b..941b5a22f70 100644 --- a/Docs/manual.texi +++ b/Docs/manual.texi @@ -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 |