summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClément Lassieur <clement@lassieur.org>2017-05-08 17:10:15 +0200
committerClément Lassieur <clement@lassieur.org>2017-05-08 20:08:23 +0200
commit65584b91c7029e93e6fd207f08c958206f1dcfc5 (patch)
tree421d06900d56743f395998f98c3df4478c02da50
parentbff33e6cca4ffb8e721d7259ce5b9430aa93f21a (diff)
build: Add doc/guix.html to .gitignore.
* .gitignore: Add entry for the above directory which is created by 'make html'.
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index cff056a9d7..5086ae22b6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,6 +31,7 @@
/doc/guix.cps
/doc/guix.fn
/doc/guix.fns
+/doc/guix.html
/doc/guix.info
/doc/guix.info-[0-9]
/doc/guix.ky