docs: add rule to generate manuals for www.gnu.org
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 8 Dec 2012 19:11:39 +0000 (20:11 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sun, 9 Dec 2012 09:20:01 +0000 (10:20 +0100)
commit49fb69d823cf3f62609841feee358384e719669f
treee13eda4a251bc4dd2a983c7f4d881d1bceba326c
parent6e8997d86a0e6af3575f0f794380d4186fd446e4
docs: add rule to generate manuals for www.gnu.org

Less clerical work to do by hand.

* Makefile.am (web-manuals): New rule.
(clean_texinfo_clutter): New macro.
* clean-web-manuals, clean-texinfo-clutter: New cleaning
rules.
(clean-local): Depend on them.
* .gitignore: Update.
* HACKING: Adjust instructions for generation of manuals.

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
.gitignore
HACKING
Makefile.am