Commit e17d59d3 authored by monty@hundin.mysql.fi's avatar monty@hundin.mysql.fi
Browse files

Fix that postscript generation of the manual works again

parent 641ac16c

Docs/manual.texi

+1 −1
Original line number Diff line number Diff line 
input texinfo  @c -*-texinfo-*-

\input texinfo  @c -*-texinfo-*-

@c Copyright 1997-2001 TcX AB, Detron HB and MySQL Finland AB

@c

@c *********************************************************