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

---
 doc/handbook/.gitignore | 1 +
 1 file changed, 1 insertion(+)

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