if [[ $GATHER_DOCS == on ]]; then
  optional_depends  doxygen  ""  ""  "to build HTML documentation"
fi
