diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2008-03-21 00:38:11 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2008-03-21 00:38:11 +0100 |
| commit | 61bf4f33083c5661b5b8c84c1e1b37d0a7af573c (patch) | |
| tree | c6969f2476503459e569696c1e03a2454e79af7b /doc/.gitignore | |
| parent | 65e2a135094ec6096a0087f044de4b7c7043e96f (diff) | |
| download | mdk-61bf4f33083c5661b5b8c84c1e1b37d0a7af573c.tar.gz mdk-61bf4f33083c5661b5b8c84c1e1b37d0a7af573c.tar.bz2 | |
Manual generation scripts updated and ignoring doc/manual
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/* |