[web] safety belt to avoid overriding pageid with loadxhtml() HtmlHeaders.define_var() now accepts a third optional 'override' paramater. If set to False, the variable won't be evaluated if it's already defined in the page.

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