1997-08-12 03:47:32 -04:00
|
|
|
\input texinfo @c -*-texinfo-*-
|
1999-03-13 07:04:03 -05:00
|
|
|
@c %**start of header
|
1997-08-12 03:47:32 -04:00
|
|
|
@setfilename BUGS
|
|
|
|
|
@c %**end of header
|
|
|
|
|
|
1999-03-13 07:04:03 -05:00
|
|
|
@c This tells bugs.texi that it's generating just the BUGS file.
|
|
|
|
|
@set DOC-BUGS
|
1997-08-12 03:47:32 -04:00
|
|
|
@include bugs.texi
|
|
|
|
|
@bye
|
