[shell] #715938: support of script parameters (using standard '--' as arguments separator)
Arguments after bare "--" string will not be processed by the shell command
You can use it to pass extra arguments to your script and expect for
them in 'scriptargs' afterwards.
#! /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