if [[ $GATHER_DOCS == on ]]; then
  config_query  LIBGIG_DOCS  "Build API documentation (requires doxygen)?"  n
fi
