# -----------------------------------------------------------------------------
# The name of subdirectory in which the source tree of documentation
# resides, and the name of "make" target to build it. (Default: target
-# "all" in the current directory)
+# "all" in the top_builddir)
#
setDocDirectory "."
setDocTarget "all"