diff options
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index e186ac5..bb67de2 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,3 +1,16 @@ /Makefile.in +/mdk.aux +/mdk.cp +/mdk.cps +/mdk.fn +/mdk.fns /mdk.info +/mdk.ky +/mdk.log +/mdk.pg +/mdk.toc +/mdk.tp +/mdk.vr +/mdk.vrs /texinfo.tex +/manual/* |