Re: Issues with gendocs and images

[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 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
errors…

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

Cheers!

(Sorry the patch is against gnulib).

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