0
votes
1answer
72 views

What DTP does Wikipedia use for PDF export?

When viewing any Wikipedia article, it is possible to export the article to a number of formats, including PDF. My instinct told me they would use some TeX system (plainTeX, LaTeX, ConTeXt, etc.), ...