# -----------------------------------------------------------------------------
# The name of subdirectory in which the source tree of documentation
# resides, and the name of "make" target to build it. (Default: target
# -----------------------------------------------------------------------------
# The name of subdirectory in which the source tree of documentation
# resides, and the name of "make" target to build it. (Default: target