diff options
| author | unknown <monty@hundin.mysql.fi> | 2001-09-28 14:33:52 +0300 |
|---|---|---|
| committer | unknown <monty@hundin.mysql.fi> | 2001-09-28 14:33:52 +0300 |
| commit | 0fb079a94f00a2141789e9a1af668f8f97f3fd96 (patch) | |
| tree | 0d60b2968a82962404f63ad7429e035586154e36 /Docs | |
| parent | 35a04e32c9769584957d9745cb240e6da756bdd8 (diff) | |
| download | mariadb-git-0fb079a94f00a2141789e9a1af668f8f97f3fd96.tar.gz | |
Fix that postscript generation of the manual works again
Docs/manual.texi:
Fix that postscript generation works again
Diffstat (limited to 'Docs')
| -rw-r--r-- | Docs/manual.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Docs/manual.texi b/Docs/manual.texi index eb28dcfcb23..128fd814e31 100644 --- a/Docs/manual.texi +++ b/Docs/manual.texi @@ -1,4 +1,4 @@ -input texinfo @c -*-texinfo-*- +\input texinfo @c -*-texinfo-*- @c Copyright 1997-2001 TcX AB, Detron HB and MySQL Finland AB @c @c ********************************************************* |