[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Issues with gendocs and images

From: Akim Demaille
Subject: Re: Issues with gendocs and images
Date: Tue, 23 Oct 2012 16:27:19 +0200

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 cannot even begin to contemplate the long-standing
> issue of distributing manuals images for some time.

For a start, I propose the attached patch which provides a
-I option.  It will not suffice for the html documentation,
but the others will be correct (text, info, pdf, ps (why the
heck do we provide ps in 2012???), and dvi (why the heck again :-).

>    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.  Indeed, you are the first person to do so that I
> have ever heard of.  I am not especially opposed to making it an error,
> though.

I vote in favor of an error.  Or -Werror.  But currently, we fail to notice

FWIW, I don't know if it's considered an error, but @centering @image
will not center in text mode.


(Sorry the patch is against gnulib).

Attachment: 0001-gendocs-support-I.patch
Description: Binary data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]