summaryrefslogtreecommitdiff
path: root/doc/handbook
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-02-13 23:22:58 +0100
committerChristian Grothoff <christian@grothoff.org>2019-02-13 23:22:58 +0100
commitd622dbfe5853609590a34637f6ba6834f424a9d6 (patch)
tree59673c996532279e79417cd5a8b34d9d3c313bb3 /doc/handbook
parente6b57ce2ccc70dfa2ac0ba655fcfdbaab2859d4d (diff)
ignore generated files, one per line
Diffstat (limited to 'doc/handbook')
-rw-r--r--doc/handbook/.gitignore3
1 files changed, 2 insertions, 1 deletions
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