debian/cubicweb-documentation.prerm
author Aurelien Campeas
Wed, 09 Sep 2009 17:46:30 +0200
branch3.5
changeset 3146 cfc4344023f2
parent 0 b97547f5f1fa
permissions -rw-r--r--
have a better make_uid function, esp. useful for win32 as collisions are frequents with the old one

#! /bin/sh -e
#

if [ "$1" = remove -o "$1" = upgrade ]; then
  if which install-docs >/dev/null 2>&1; then
    install-docs -r cubicweb-doc
  fi
fi

#DEBHELPER#

exit 0