diff options
Diffstat (limited to 'manual/.gitignore')
-rw-r--r-- | manual/.gitignore | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/manual/.gitignore b/manual/.gitignore new file mode 100644 index 0000000000..55c49c998c --- /dev/null +++ b/manual/.gitignore @@ -0,0 +1,30 @@ +*.aux +*.c.texi +*.cp +*.cps +*.dvi* +*.fn +*.fns +*.info* +*.ky +*.kys +*.log +*.pdf +*.pg +*.pgs +*.ps +*.tmp +*.toc +*.tp +*.tps +*.vr +*.vrs +chapters.texi +dir-add.texi +dir-add.texinfo +libm-err.texi +stamp-* +summary.texi +texis +top-menu.texi +version.texi |