Il est nécessaire de mettre à jour très fréquemment votre installation ScoDoc.
# Mise à jour de ScoDoc 9
À partir de ScoDoc 9, les mises à jour sont automatiques. Au besoin, on peut en
lancer une à tout moment avec la commande
apt update && apt-get upgrade
