On 12/08/2012 09:42 PM, Stefano Lattarini wrote:
> 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.lattar...@gmail.com>
> ---
>
And consider this fix-up squashed in:
diff --git a/Makefile.am b/Makefile.am
index 552ea13..870c6a9 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -1006,7 +1006,7 @@ fetch:
## --------------------------------------------------------------------- ##
# The gendocs.sh script sadly leaves TeX and Texinfo auxiliary files
-# in the directory whre it's invoked.
+# in the directory where 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
@@ -1034,10 +1034,6 @@ web-manuals:
$(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
## ------------------------------------------------ ##
Sorry for the noise,
Stefano
