X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=debian%2Fprerm;fp=debian%2Fprerm;h=a95304d2b42714f4a4872e680963be599d25082c;hb=971286440c018fbef9d60c3463a29ef1744e7d85;hp=ba7b3df3b9b110c546066ad54d45b8ce29faaa06;hpb=ec16875d1ff354b4c0e9ba562837fb5ebf2e475f;p=developers-reference.git

diff --git a/debian/prerm b/debian/prerm
index ba7b3df..a95304d 100644
--- a/debian/prerm
+++ b/debian/prerm
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 if [ "$1" = "remove" -o "$1" = "upgrade" ]; then
-  if command -v install-docs >/dev/null 2>&1; then
+  if [ -x /usr/sbin/install-docs ]; then
     install-docs -r developers-reference
   fi
   if [ -L /usr/doc/developers-reference ]; then