On a note by [[User:Korrigan]], I have adapted (rather, rewritten) the
PDF Export extension for the toolserver. You can now get a single or
multiple Wiki(m|p)edia pages as a PDF, by entering/linking to an URL.
As the extension, I am using HTMLDOC, so the output is as good (or as
bad) as that package. Don't blame me.
I shall demonstrate using our new meme overlord, [[Horse-ripping]],
and the related article [[Zoosadism]] from en.wikipedia:
http://tools.wikimedia.de/~magnus/pdf.php?title=Horse-ripping|Zoosadism
Additional parameters (add them to the URL):
&language=XX (XX being the language code; en is default)
&project=wikibooks (default:wikipedia)
&nogfdl (3 pages of GFDL are appended by default; add this parameter
to prevent that)
I haven't figured out how to make HTMLDOC generate a TOC. Maybe tomorrow.
Cheers,
Magnus