On Sat, Oct 13, 2012 at 01:19:09PM -0700, Ben Pfaff wrote: I think that the most important format is .png. I don't know of any Texinfo format that requires .jpg. (Which one does?)
makeinfo --docbook generates xml which refers to JPG: <imagedata fileref="Images/pic10.jpg" format="JPG"> There doesn't seem to be any way of changing that behaviour. We could mutate the XML with sed I suppose. PNG is certainly a more suitable format for screenshots. J'
signature.asc
Description: Digital signature
_______________________________________________ pspp-dev mailing list pspp-dev@gnu.org https://lists.gnu.org/mailman/listinfo/pspp-dev