debian/cubicweb-documentation.prerm
author Pierre-Yves David <pierre-yves.david@logilab.fr>
Fri, 29 Mar 2013 18:57:13 +0100
changeset 8841 f62fb831cfe6
parent 0 b97547f5f1fa
permissions -rw-r--r--
[session] make security_enabled API private The doc already says "internal API". The old entry point is now officially deprecated and the context manager have been made private.

#! /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