GEN_PATH="/docs/doxygen"

generate() {

  if [ ! -f "$1"/Doxyfile ]; then
    echo "erreure generateur doxygen : Le fichier $1/Doxyfile est manquant" >&2
    exit 1
  fi

  doxygen "$1"/Doxyfile

  mkdir -p $GEN_PATH
  mv html/* $GEN_PATH
}