diff options
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 00000000..49f3e9db --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,8 @@ +Makefile Makefile.in +version.texi fdl.texi make-stds.texi texinfo.tex +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 |