GEN_PATH="/docs/doxygen"

generate() {

  if [ ! -f "$1"/Doxyfile ]; then
    echo "doxygen generator error : file $1/Doxyfile is missing" >&2
    exit 1
  fi

  doxygen -u
  doxygen "$1"

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