Remove doc/ generated files from the repository.

2026-06-13 11:12:13 +00:00 · 2001-11-20 13:29:40 +00:00
parent adb4edee47
commit 2e2cbb3fad
9 changed files with 3 additions and 6696 deletions
@@ -1,16 +1,11 @@
-Makefile
-bison.aux
+Makefile Makefile.in
+*.aux *.dvi *.log *.info* *.pdf *.ps
+stamp-*
 bison.cp
 bison.cps
-bison.dvi
 bison.fn
 bison.ky
-bison.log
 bison.pg
-bison.ps
 bison.toc
 bison.tp
 bison.vr
-refcard.dvi
-refcard.log
-refcard.ps