summaryrefslogtreecommitdiff
path: root/doc/documentation/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to 'doc/documentation/.gitignore')
-rw-r--r--doc/documentation/.gitignore7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/documentation/.gitignore b/doc/documentation/.gitignore
index 2e914d9c9..f490c3412 100644
--- a/doc/documentation/.gitignore
+++ b/doc/documentation/.gitignore
@@ -1,2 +1,9 @@
stamp-1
version2.texi
+manual
+*.fn
+*.fns
+*.ky
+*.pg
+*.tp
+*.vr