GEN_PATH="/docs/doxygen"

generate() {
  mkdir -p /docs/doxygen/
  if [ ! -f "$1"/Doxyfile ]; then
    echo "erreure generateur doxygen : Le fichier $1/Doxyfile est manquant" >&2
    exit 1
  fi

  cd doxygen && doxygen "$1"/Doxyfile
  mv html/* $GEN_PATH
}