[devtools] fix self.session._cnx vs self.cnx._cnx confusion after self.login
Make sure the client connection and the session refer to the same server
connection.
#! /bin/sh -e
#
if [ "$1" = configure ]; then
if which install-docs >/dev/null 2>&1; then
install-docs -i /usr/share/doc-base/cubicweb-doc
fi
fi
#DEBHELPER#
exit 0