summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPeter Simons <simons@cryp.to>2009-12-17 23:43:20 +0100
committerPeter Simons <simons@cryp.to>2009-12-17 23:51:49 +0100
commita7ce66bc6d95f0db6d535c43f6a1bb9f05d75819 (patch)
tree089a24ff7c320722086cc1accc4ab879a5373115 /doc
parentd133a5165f526b730a6e6e5203a89abc0e4750a2 (diff)
downloadautoconf-archive-a7ce66bc6d95f0db6d535c43f6a1bb9f05d75819.tar.gz
bootstrap.sh, cfg.mk: enabled gnulib's gendocs module
The make target 'web-manual' generates project documentation suitable for uploading to the web in the directory doc/manual/*.
Diffstat (limited to 'doc')
-rw-r--r--doc/.gitignore11
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index 5044f64..02d02b4 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -3,8 +3,19 @@
/Makefile
/Makefile.in
/all-macros.texi
+/autoconf-archive.aux
+/autoconf-archive.cp
+/autoconf-archive.fn
/autoconf-archive.info
/autoconf-archive.info-?
+/autoconf-archive.ky
+/autoconf-archive.log
+/autoconf-archive.pg
+/autoconf-archive.toc
+/autoconf-archive.tp
+/autoconf-archive.vr
/ax_*.texi
+/gendocs_template
+/manual/*
/stamp-vti
/version.texi