chiark / gitweb /
making PDF now, not PS; deal with new debiandoc-sgml output naming
[developers-reference.git] / debian / prerm
1 #!/bin/sh
2
3 if [ -x /usr/sbin/install-docs ]; then
4     /usr/sbin/install-docs -r developers-reference
5     /usr/sbin/install-docs -r debian-constitution
6 fi