[PATCH 5/6] docs: add rule to generate manuals for www.gnu.org

[Stefano Lattarini]

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 <address@hidden>
---
 .gitignore  |  1 +
 HACKING     |  9 +++------
 Makefile.am | 37 +++++++++++++++++++++++++++++++++++++
 3 files changed, 41 insertions(+), 6 deletions(-)

diff --git a/.gitignore b/.gitignore
index 9ead89c..3773d94 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,6 +33,7 @@
 /doc/amhello/depcomp
 /doc/amhello/install-sh
 /doc/amhello/missing
+/doc/web-manuals
 /lib/Automake/Config.pm
 /test-suite.log
 /t/wrap/aclocal-1.*
diff --git a/HACKING b/HACKING
index 118a2e3..27eec31 100644
--- a/HACKING
+++ b/HACKING
@@ -259,12 +259,9 @@
   use "make GNUPLOADFLAGS='--user KEY' git-upload-release".
 
 * For stable releases, update the manuals at www.gnu.org:
-  - Generate manuals:
-    cd doc
-    export GENDOCS_TEMPLATE_DIR=../lib
-    sh ../lib/gendoc.sh --email address@hidden automake "GNU Automake"
-  - copy manuals recursively to web cvs,
-  - commit.
+  - Generate manuals, running "make web-manuals".
+  - Copy manuals recursively to web CVS.
+  - Commit in CVS.
   - Check for link errors, fix them, recheck until convergence:
     <http://validator.w3.org/checklink>
 
diff --git a/Makefile.am b/Makefile.am
index 8c5fa71..552ea13 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1001,6 +1001,43 @@ fetch:
        exit $$stat
 .PHONY: fetch
 
+## --------------------------------------------------------------------- ##
+##  Generate manuals in several formats, for upload on the GNU website.  ##
+## --------------------------------------------------------------------- ##
+
+# The gendocs.sh script sadly leaves TeX and Texinfo auxiliary files
+# in the directory whre it's invoked.
+clean_texinfo_clutter_cmd = \
+  cd doc && rm -f *.ac *.aux *.cm *.cp *.cps *.fn *.fns *.ky \
+                  *.log *.op *.pg *.toc *.tp *.tr *.vr *.vrs
+
+clean-web-manuals:
+       $(AM_V_at)rm -rf doc/web-manuals
+clean-texinfo-clutter:
+       $(AM_V_at)$(clean_texinfo_clutter_cmd)
+clean-local: clean-web-manuals clean-texinfo-clutter
+.PHONY: clean-web-manuals clean-texinfo-clutter
+
+web-manuals:
+       $(AM_V_at)rm -rf doc/web-manuals
+       $(AM_V_GEN): \
+## The gendocs.sh script only works from the srcdir, sadly.
+         && cd $(srcdir)/doc \
+         && GENDOCS_TEMPLATE_DIR=../lib \
+         && export GENDOCS_TEMPLATE_DIR \
+## Try to respect silent rules.
+         && if $(AM_V_P); then :; else exec >/dev/null 2>&1; fi \
+## Finally generate the manual in several formats.
+         && $(SHELL) ../lib/gendocs.sh -o web-manuals \
+            --email $(PACKAGE_BUGREPORT) $(PACKAGE) '$(PACKAGE_NAME)'
+       $(AM_V_at)$(clean_texinfo_clutter_cmd)
+       $(AM_V_at)if $(AM_V_P); then ls -l doc/web-manuals; else :; fi
+.PHONY: web-manuals
+
+clean-web-manuals: clean-local-check
+.PHONY: clean-local-check
+clean-local-check:
+
 EXTRA_DIST += lib/gendocs.sh lib/gendocs_template
 
 ## ------------------------------------------------ ##
-- 
1.8.0.1.347.gf94c325