From d622dbfe5853609590a34637f6ba6834f424a9d6 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 13 Feb 2019 23:22:58 +0100
Subject: [PATCH] ignore generated files, one per line

---
 doc/handbook/.gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/handbook/.gitignore b/doc/handbook/.gitignore
index 48f864272..80ac74ea0 100644
--- a/doc/handbook/.gitignore
+++ b/doc/handbook/.gitignore
@@ -7,4 +7,5 @@ manual
 *.pg
 *.tp
 *.vr
-gnunet gnunet.html
+gnunet 
+gnunet.html
-- 
2.25.1