1999-08-26 09:30:50 +00:00
|
|
|
\input texinfo @c -*-texinfo-*-
|
1999-10-16 06:09:09 +00:00
|
|
|
@c %**start of header
|
1999-08-26 09:30:50 +00:00
|
|
|
@setfilename BUGS
|
|
|
|
|
@c %**end of header
|
|
|
|
|
|
1999-10-16 06:09:09 +00:00
|
|
|
@c This tells bugs.texi that it's generating just the BUGS file.
|
|
|
|
|
@set DOC-BUGS
|
1999-08-26 09:30:50 +00:00
|
|
|
@include bugs.texi
|
|
|
|
|
@bye
|
