diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-01-20 22:54:25 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-01-20 22:54:36 +0100 |
commit | 2e87ca8f52048719bc37b4c7d3360e643f80c935 (patch) | |
tree | d78f8936c766cd6ade6c1945a0c6ef995417259e /.gitignore | |
parent | 85f3a05e4cbde65c1625f786d2f96b4e8f52a79b (diff) |
Augment `.gitignore'.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 11 |
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 |