summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-02-13 23:22:45 +0100
committerChristian Grothoff <christian@grothoff.org>2019-02-13 23:22:45 +0100
commite6b57ce2ccc70dfa2ac0ba655fcfdbaab2859d4d (patch)
treef5a5c5e551740fbae4523d078078038ff6ae379b
parent443454a6212e5596f7caaadf3b666fa4857edb64 (diff)
ignore generated files
-rw-r--r--doc/handbook/.gitignore1
1 files changed, 1 insertions, 0 deletions
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