The source to those manuals can be found in the `boot-floppies' package. See also: man `debiandoc2latexpdf' and `pdflatex'. apt-get install debiandoc-sgml tetex-base boot-floppies I think it's pretty neat too. :-) There's also a `pdftexinfo'.