summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2013-01-20 22:54:25 +0100
committerLudovic Courtès <ludo@gnu.org>2013-01-20 22:54:36 +0100
commit2e87ca8f52048719bc37b4c7d3360e643f80c935 (patch)
treed78f8936c766cd6ade6c1945a0c6ef995417259e /.gitignore
parent85f3a05e4cbde65c1625f786d2f96b4e8f52a79b (diff)
Augment `.gitignore'.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore11
1 files changed, 11 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index d841cb1ad6..ecdaed2ef0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -65,3 +65,14 @@ stamp-h[0-9]
/test-env
/nix/nix-setuid-helper/nix-setuid-helper.cc
/guix-gc
+/doc/guix.aux
+/doc/guix.cp
+/doc/guix.cps
+/doc/guix.fn
+/doc/guix.fns
+/doc/guix.ky
+/doc/guix.pg
+/doc/guix.toc
+/doc/guix.tp
+/doc/guix.vr
+/doc/guix.vrs