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 /configure.in | |
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 'configure.in')
0 files changed, 0 insertions, 0 deletions