drop typed_eid() in favour of int() (closes #2742462) typed_eid was introduced to abstract the eid type when running on Google AppEngine. It is not used anymore and can be removed. Let's use int() instead.

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