summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2016-12-02 15:57:06 +0100
committerMathieu Lirzin <mthl@gnu.org>2016-12-04 22:31:03 +0100
commitcbdb59af8e7a1b40d687f80e62c5892686d384d2 (patch)
tree7f93c33f64721c84005146451d885970b028bf2c /.gitignore
parent05eba838eab4ca928d8df926d70677821714e962 (diff)
downloadcuirass-cbdb59af8e7a1b40d687f80e62c5892686d384d2.tar
cuirass-cbdb59af8e7a1b40d687f80e62c5892686d384d2.tar.gz
doc: Add Cuirass manual.
* doc/cuirass.texi: New file. * doc/fdl-1.3.texi: Likewise. * Makefile.am (info_TEXINFOS, doc_cuirass_TEXINFOS): New variables. * dir-locals.el: Use the American dictionary for Texinfo mode. * .gitignore: Update.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore6
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index d8ad716..2cf3032 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,8 @@
*.go
+*.info
*.log
*.trs
+.dirstamp
/*.status
/INSTALL
/aclocal.m4
@@ -10,12 +12,16 @@
/build-aux/config.guess
/build-aux/config.sub
/build-aux/install-sh
+/build-aux/mdate-sh
/build-aux/missing
/build-aux/test-driver
+/build-aux/texinfo.tex
/cache/
/config.cache
/configure
+/doc/version.texi
/src/cuirass/config.scm
Makefile
Makefile.in
pre-inst-env
+stamp-vti