summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Thompson <dthompson2@worcester.edu>2015-10-15 21:05:11 -0400
committerDavid Thompson <dthompson2@worcester.edu>2015-10-15 21:05:11 -0400
commit17e72708a81c04e7b9f26dc1c0df9bcf1f27e844 (patch)
tree11454e5b3c14da9e94b1051a5fc504a735151d2b /.gitignore
parentc013ef276cb34095ef81f5113a8a0f4dde40e89d (diff)
Add beginnings of a reference manual.
* Makefile.am (info_TEXINFOS): New variable. * doc/haunt.texi: New file. * doc/fdl-1.3.texi: New file. * guix.scm [native-inputs]: Add texinfo.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore7
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a235a1d..82da705 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,4 +19,11 @@ Makefile.in
*.trs
/build-aux/install-sh
/build-aux/missing
+/build-aux/mdate-sh
+/build-aux/texinfo.tex
/build-aux/test-driver
+/doc/.dirstamp
+/doc/haunt.html/
+/doc/haunt.info
+/doc/stamp-vti
+/doc/version.texi