Disable creating pdf documentation
authorJoachim Wiedorn <ad_debian@joonet.de>
Sun, 15 Apr 2012 11:22:58 +0000 (13:22 +0200)
committerJoachim Wiedorn <ad_debian@joonet.de>
Sun, 15 Apr 2012 11:22:58 +0000 (13:22 +0200)
commitf636c8454d36226e73a3b33f13ebdb08948a78bf
treeb9f51ebc61cbe7475cbe59e7780886c27a5c3d5f
parentb0c6df20c3655109ad55a1fc7c3281fceb644693
Disable creating pdf documentation
debian/changelog
debian/control
debian/patches/18_do-not-create-pdfs.patch [new file with mode: 0644]
debian/patches/series
debian/patches/ubuntu.series