+# Defaults for settings controlled by this script
+export GENERATE_DOCSET="NO";
+export GENERATE_HTML="NO";
+export GENERATE_HTMLHELP="NO";
+export GENERATE_LATEX="NO";
+export GENERATE_QHP="NO";
+export GENERATE_XML="NO";
+export SEARCHENGINE="NO";
+export SERVER_BASED_SEARCH="NO";
+
+# Which format should we generate during this run?
+case "$1" in
+ all) # All *main* formats, not all formats, here for backwards compat.
+ export GENERATE_HTML="YES";
+ export GENERATE_HTMLHELP="YES";
+ export GENERATE_XML="YES";
+ ;;
+ chm)
+ export GENERATE_HTML="YES";
+ export GENERATE_HTMLHELP="YES";
+ ;;
+ docset)
+ export GENERATE_DOCSET="YES";
+ export GENERATE_HTML="YES";
+ ;;
+ latex)
+ export GENERATE_LATEX="YES";
+ ;;
+ php) # HTML, but with PHP Search Engine
+ export GENERATE_HTML="YES";
+ export SEARCHENGINE="YES";
+ export SERVER_BASED_SEARCH="YES";
+ ;;
+ qch)
+ export GENERATE_HTML="YES";
+ export GENERATE_QHP="YES";
+ ;;
+ xml)
+ export GENERATE_XML="YES";
+ ;;
+ *) # Default to HTML only
+ export GENERATE_HTML="YES";
+ export SEARCHENGINE="YES";
+ ;;
+esac