Re: Add pdf target in doc/.

2008-03-10 Thread Simon Josefsson
Bruno Haible <[EMAIL PROTECTED]> writes: > Since you haven't applied this yet, I added a similar explanation as error > handling to the Makefile: Thanks, that seems more likely to be noticed by future users than my approach. /Simon > > 2008-03-09 Bruno Haible <[EMAIL PROTECTED]> > > * d

Re: Add pdf target in doc/.

2008-03-09 Thread 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..34f21

Re: Add pdf target in doc/.

2008-03-06 Thread Simon Josefsson
[EMAIL PROTECTED] (Karl Berry) writes: > got a 'TeX capacity exceeded, sorry [save size=5000].' error. > Increasing 'save_size' in texmf.cnf solved it. > > FWIW, I increased it to 5 for the next TeX Live release. I don't recall > exactly why, but maybe because I ran into exactly the

Re: Add pdf target in doc/.

2008-03-05 Thread Karl Berry
got a 'TeX capacity exceeded, sorry [save size=5000].' error. Increasing 'save_size' in texmf.cnf solved it. FWIW, I increased it to 5 for the next TeX Live release. I don't recall exactly why, but maybe because I ran into exactly the same problem with gnulib.texi :). Maybe thi

Re: Add pdf target in doc/.

2008-03-05 Thread Bruno Haible
Hi Simon, > How about this? > 2008-03-05 Simon Josefsson <[EMAIL PROTECTED]> > > + * doc/Makefile: Add pdf target. Looks good, please install. > Also, did anyone else run into problems building the gnulib manual? I > got a 'TeX capacity exceeded, sorry [save size=5000].' error. I have

Add pdf target in doc/.

2008-03-05 Thread Simon Josefsson
47c813382f9a91dcd7f Mon Sep 17 00:00:00 2001 From: Simon Josefsson <[EMAIL PROTECTED]> Date: Wed, 5 Mar 2008 12:09:09 +0100 Subject: [PATCH] Add pdf target in doc/. --- ChangeLog|4 doc/Makefile |8 ++-- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git