[schema synchronization] get back eid when adding a final entity type, else it may cause pb on later schema synchronization during the migration where the type is added
#! /bin/sh -e#if [ "$1" = remove -o "$1" = upgrade ]; then if which install-docs >/dev/null 2>&1; then install-docs -r cubicweb-doc fifi#DEBHELPER#exit 0