@@ -176,8 +176,9 @@
  * `doc=yes {yes|no}` - whether to typeset the documentation (very slow with all three formats set to "yes")
  * `doc_html=yes {yes|no}` - enable or disable html output of the documentation
  * `doc_pdf=yes {yes|no}` - enable or disable pdf output of the documentation
  * `doc_man=yes {yes|no}` - enable or disable manpage output of the documentation
+ * `verbose=quiet {silent|quiet|loud}` - control level of verbosity. `silent` silences most output.
 
 two other shell scripts complete the build system:
  * `install.sh` - installs compiled libraries, objects, documentation, and headers into the appropriate directories.