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

[Stefano Lattarini]

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 <address@hidden>
> ---
>
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