On Sat, Nov 19, 2016 at 12:54 PM, Mauro Carvalho Chehab <mchehab@xxxxxxxxxxxxxxxx> wrote: > > I did some research on Friday trying to identify where those images > came. It turns that, for the oldest images (before I took the media > maintainership), PDF were actually their "source", as far as I could track, > in the sense that the *.gif images were produced from the PDF. > > The images seem to be generated using some LaTeX tool. Their original > format were probably EPS. The original format was almost certainly xfig. Converting fig files to eps and pdf to then encapsulate them into LaTeX was a very common way to do documentation with simple figures. Iirc, xfig natively supported "export as eps". Linus -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html