debian/cubicweb-documentation.prerm
changeset 10560 a8a0de0298a5
parent 10559 5821ae654dfd
child 10561 5765cd3c94c7
equal deleted inserted replaced
10559:5821ae654dfd 10560:a8a0de0298a5
     1 #! /bin/sh -e
       
     2 #
       
     3 
       
     4 if [ "$1" = remove -o "$1" = upgrade ]; then
       
     5   if which install-docs >/dev/null 2>&1; then
       
     6     install-docs -r cubicweb-doc
       
     7   fi
       
     8 fi
       
     9 
       
    10 #DEBHELPER#
       
    11 
       
    12 exit 0