CVSROOT: /cvs/debian-doc Module name: ddp Changes by: aisotton 03/01/13 16:37:23 Modified files: manuals.sgml/repository-howto: Makefile Log message: - dvi and ps don't work anyway. shit.