diff options
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 24 |
1 files changed, 18 insertions, 6 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 49f3e9d..230ef46 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,8 +1,20 @@ -Makefile Makefile.in -version.texi fdl.texi make-stds.texi texinfo.tex +fdl.texi +make-stds.texi +stamp-vti +version.texi make.info* make*.html -make.aux make.cp make.cps make.fn make.fns make.ky -make.pg make.toc make.tp make.vr make.log -make.dvi make.ps make.pdf -stamp-vti +make.aux +make.cp +make.cps +make.dvi +make.fn +make.fns +make.ky +make.log +make.pdf +make.pg +make.ps +make.toc +make.tp +make.vr |