Documentation restructuring: provide a useful overview.

[tripe] / manual / .gitignore

diff --git a/manual/.gitignore b/manual/.gitignore
new file mode 100644 (file)
index 0000000..e64cc7d
--- /dev/null
+++ b/manual/.gitignore
@@ -0,0 +1,16 @@
+*.info
+*.aux
+*.cp
+*.fn
+*.ky
+*.pdf
+*.ps
+*.dvi
+*.pg
+*.toc
+*.tp
+*.vr
+gpl.texi
+texinice.tex
+version.texi
+stamp-*