From 8865e30ab9bc1c52af24f1300f0b07e20784fe1c Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 1 Jan 2018 15:23:17 +0100
Subject: [PATCH] create .gitignore

---
 doc/documentation/.gitignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 doc/documentation/.gitignore

diff --git a/doc/documentation/.gitignore b/doc/documentation/.gitignore
new file mode 100644
index 000000000..2e914d9c9
--- /dev/null
+++ b/doc/documentation/.gitignore
@@ -0,0 +1,2 @@
+stamp-1
+version2.texi
-- 
2.25.1