diff options
Diffstat (limited to 'src/kmk/doc/.gitignore')
-rw-r--r-- | src/kmk/doc/.gitignore | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/kmk/doc/.gitignore b/src/kmk/doc/.gitignore new file mode 100644 index 0000000..ca68d2d --- /dev/null +++ b/src/kmk/doc/.gitignore @@ -0,0 +1,22 @@ +manual/ +gendocs_template +fdl.texi +make-stds.texi +stamp-vti +version.texi +make.info* +make*.html +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 |