config_query TEAPOT_MANUAL "build teapot user manual (pdf and html)" y &&

if [[ "$TEAPOT_MANUAL" == "n" ]]
then
  TEAPOT_BUILD="$TEAPOT_BUILD -DENABLE_HELP=off"
fi