Re: Add pdf target in doc/.

[Bruno Haible]

Simon Josefsson wrote on Thursday:
> >     Maybe this should documented somewhere?
> >
> > Sure (as far as I'm concerned), please add it to the manual somewhere.
> 
> The best place I could find was doc/README, is this ok?
> 
> /Simon
> 
> diff --git a/doc/README b/doc/README
> index 551f539..34f21b7 100644
> --- a/doc/README
> +++ b/doc/README
> @@ -1 +1,13 @@
> +Meta-documentation for gnulib documentation
> +-------------------------------------------
> +
>  regexprops-generic.texi is generated via a utility in findutils.
> +
> +When building the PDF/DVI manual using TeX you may get the following
> +error message:
> +
> +   TeX capacity exceeded, sorry [save size=5000].
> +
> +To solve this, you will have to increase the 'save_size' value in your
> +texmf.cnf, typically in /etc/texmf/texmf.cnf.  Increasing it to 50000
> +is known to work.

Since you haven't applied this yet, I added a similar explanation as error
handling to the Makefile:


2008-03-09  Bruno Haible  <address@hidden>

        * doc/Makefile (%.pdf): Explain how to remedy the save_size error.
        Report and solution by Simon Josefsson.

*** doc/Makefile.orig   2008-03-09 23:59:32.000000000 +0100
--- doc/Makefile        2008-03-09 23:56:20.000000000 +0100
***************
*** 16,22 ****
        LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo --no-split 
--reference-limit=2000 $<
  
  %.pdf: %.texi
!       texi2pdf $<
  
  all: info html dvi
  info: $(doc).info
--- 16,22 ----
        LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo --no-split 
--reference-limit=2000 $<
  
  %.pdf: %.texi
!       texi2pdf $< || { if texi2pdf $< 2>/dev/null | grep 'TeX capacity 
exceeded, sorry \[save size=' > /dev/null; then echo '*** You must increase the 
save_size in your texmf.cnf file.'; fi; exit 1; }
  
  all: info html dvi
  info: $(doc).info