[plt-scheme] plt documentation source/tools?

the plt documentation looks very nice in both html and pdf format. i'm
wonder what was used as source -- and how the two formats were generated. if
the original source is tex/latex, would it be possible to see the source
for, say, the "quick introduction with pictures"

http://download.plt-scheme.org/doc/4.1.1/html/quick/index.html

http://download.plt-scheme.org/doc/pdf/quick.pdf

this would help me see the details of which packages were used (slatex?
etc.)

and if tex/latex is the source, how was the html generated (tex4ht? or ?)

thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20081116/a0428d3d/attachment.html>