CVSROOT: /cvs/debian-doc Module name: ddp Changes by: jseidel 06/06/18 13:47:19 Modified files: manuals.sgml/distribute-deb: Makefile Log message: Deactivate PDF build which fails probably because of #223553