diff options
Diffstat (limited to 'contrib/gcc/f/bugs0.texi')
-rw-r--r-- | contrib/gcc/f/bugs0.texi | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/contrib/gcc/f/bugs0.texi b/contrib/gcc/f/bugs0.texi deleted file mode 100644 index 9636f4d..0000000 --- a/contrib/gcc/f/bugs0.texi +++ /dev/null @@ -1,9 +0,0 @@ -\input texinfo @c -*-texinfo-*- -@c %**start of header -@setfilename BUGS -@c %**end of header - -@c This tells bugs.texi that it's generating just the BUGS file. -@set DOC-BUGS -@include bugs.texi -@bye |