Re: Issues with gendocs and images

2012-11-01 Thread Akim Demaille
Le 31 oct. 2012 à 22:39, Karl Berry a écrit : >> Here is my proposal. It works for Bison. >Ping! > > Sorry, my reply from a few days ago accidentally/erroneously went only > to the list and not to you. Here it is: > http://lists.gnu.org/archive/html/bug-texinfo/2012-10/msg00014.html > > I

Re: Issues with gendocs and images

2012-10-31 Thread Karl Berry
> Here is my proposal. It works for Bison. Ping! Sorry, my reply from a few days ago accidentally/erroneously went only to the list and not to you. Here it is: http://lists.gnu.org/archive/html/bug-texinfo/2012-10/msg00014.html In short, the changes are installed, and let me know if pro

Re: Issues with gendocs and images

2012-10-31 Thread Akim Demaille
Hi all, Le 26 oct. 2012 à 09:39, Akim Demaille a écrit : > Here is my proposal. It works for Bison. Ping!

Re: Issues with gendocs and images

2012-10-27 Thread Karl Berry
Really, wouldn't it be saner to build in the output zone, and kill it on error instead? Seems like way more trouble to me. Anyway, as you know, I'm not about to rewrite the whole thing. Here is my proposal. It works for Bison. Ok, accepted for the sake of getting on with life. I

Re: Issues with gendocs and images

2012-10-26 Thread Akim Demaille
Hi Karl, Le 25 oct. 2012 à 23:49, Karl Berry a écrit : >Actually, why would we rename it instead of simply passing to -o the >wanted directory, instead of creating this directory? > > No, this has nothing to do with -o. gendocs runs makeinfo to generate > the split HTML, which is create

Re: Issues with gendocs and images

2012-10-25 Thread Karl Berry
why no simply take everything that is in the directory? Right, if images are to be handled, we should take everything in the output directory, not just *.html. Also, at the end, we empty a directory, and then mv *html files from one to the other, and kill the empty directory. Why did

Re: Issues with gendocs and images

2012-10-25 Thread Akim Demaille
Hi all, I don't understand too well some bits of gendocs: opt="--html -o $PACKAGE.html $commonarg $htmlarg" cmd="$SETLANG $MAKEINFO $opt \"$srcfile\"" echo "Generating html by node... ($cmd)" eval "$cmd" split_html_dir=$PACKAGE.html ( cd ${split_html_dir} || exit 1 tar -czf "$ab

Re: makeinfo: centered text images (was: Issues with gendocs and images)

2012-10-24 Thread Patrice Dumas
On Wed, Oct 24, 2012 at 09:55:58AM +0200, Akim Demaille wrote: > > $ cat foo.txt > foo > bar > baz > $ cat centered-image.texi > \input texinfo @c -*-texinfo-*- > @center @image{foo} > @bye > $ makeinfo --plaintext centered-image.texi -o- >foo > bar > baz texi2any

Re: makeinfo: centered text images (was: Issues with gendocs and images)

2012-10-24 Thread Akim Demaille
Hi Karl! Le 24 oct. 2012 à 01:45, Karl Berry a écrit : > Hi Akim, > >I propose the attached patch which provides a -I option. > > Sounds good. Installed (blindly), thanks. Thanks! >FWIW, I don't know if it's considered an error, but @centering >@image will not center in text mode

Re: Issues with gendocs and images

2012-10-23 Thread Karl Berry
Hi Akim, I propose the attached patch which provides a -I option. Sounds good. Installed (blindly), thanks. ps (why the heck do we provide ps in 2012???), I'd be fine with eliminating .ps (in the script and templates). and dvi (why the heck again :-). DVI is useful because it is

Re: Issues with gendocs and images

2012-10-23 Thread Ben Pfaff
k...@freefriends.org (Karl Berry) writes: > That seems to come from makeinfo that treats as a warning missing > sources! > > The idea was that an Info file can very likely still be useful without > the image. The further idea was that most people would not bother to > make a .txt version.

Re: Issues with gendocs and images

2012-10-23 Thread Akim Demaille
Le 19 oct. 2012 à 23:54, Karl Berry a écrit : > Hi Akim, Hi Karl! >A few images have been added to the Bison documentation > > Sorry to hear it. I doubt you can reasonably use gendocs in such > circumstances, for all the reasons you have discovered. Anyway, I have > no good answers and c

Re: Issues with gendocs and images

2012-10-20 Thread John Darrington
On Fri, Oct 19, 2012 at 09:54:28PM +, Karl Berry wrote: Hi Akim, A few images have been added to the Bison documentation Sorry to hear it. I doubt you can reasonably use gendocs in such circumstances, for all the reasons you have discovered. Anyway, I have

Re: Issues with gendocs and images

2012-10-20 Thread Patrice Dumas
On Fri, Oct 19, 2012 at 02:04:05PM +0200, Akim Demaille wrote: > Hi all! > > There is unfortunately no simple way to pass the corresponding > directories to the various tools. texi2dvi (DVI and PDF) can > be taught easily via TEXINPUTS. Yet for info, text, html, > there are several options to us

Re: Issues with gendocs and images

2012-10-19 Thread Karl Berry
Hi Akim, A few images have been added to the Bison documentation Sorry to hear it. I doubt you can reasonably use gendocs in such circumstances, for all the reasons you have discovered. Anyway, I have no good answers and cannot even begin to contemplate the long-standing issue of distributi

Issues with gendocs and images

2012-10-19 Thread Akim Demaille
Hi all! A few images have been added to the Bison documentation recently, and "make web-manual" faces a couple of issues. First of all, I'd like to point out that tex is not called in batch mode, I think it would be nice to pass --batch to texi2dvi to avoid hanging on stdin. The images come in s