Re: Issues with gendocs and images

[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 typically much smaller than PDF.
Admittedly it's not what you want for manuals with images, though.

    I vote in favor of an error.  Or -Werror.  

Your vote is duly recorded, but no action is promised :).

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

Sample input file please?  I'm not going to try to guess at that one ...

k