On Sat, Nov 19, 2016 at 12:54 PM, Mauro Carvalho Chehab <mche...@s-opensource.com> 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