[session] deprecates schema_rproperty in favor of more optimized rtype_eids_rdef which return the rdef (so reusable to gather other data)
#! /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 fifi#DEBHELPER#exit 0