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 | d973a9f8f6598cbd2fb5cd05bc0e13c3acdbd0c9 (patch) | |
| tree | 0d60b2968a82962404f63ad7429e035586154e36 /Docs | |
| parent | 6ba992fb5da4069b5d77e2cfd143d075a7ce07ee (diff) | |
| download | mariadb-git-d973a9f8f6598cbd2fb5cd05bc0e13c3acdbd0c9.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 ********************************************************* |