From 1477e20bacf5d3d29adb5622c8317dfd0f8731b4 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 20 May 2018 23:56:07 +0200
Subject: update ignore

---
 doc/documentation/.gitignore | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'doc')

diff --git a/doc/documentation/.gitignore b/doc/documentation/.gitignore
index 2e914d9c97..f490c3412a 100644
--- a/doc/documentation/.gitignore
+++ b/doc/documentation/.gitignore
@@ -1,2 +1,9 @@
 stamp-1
 version2.texi
+manual
+*.fn
+*.fns
+*.ky
+*.pg
+*.tp
+*.vr
-- 
cgit v1.2.3-18-g5258