aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/manual/manual.mk3
1 files changed, 0 insertions, 3 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk
index e9078f1bfb..69113e350a 100644
--- a/docs/manual/manual.mk
+++ b/docs/manual/manual.mk
@@ -124,9 +124,6 @@ endef
################################################################################
# GENDOC -- generates the make targets needed to build asciidoc documentation.
#
-# argument 1 is the name of the document and must be a subdirectory of docs/;
-# the top-level asciidoc file must have the same name
-#
# The variable <DOCUMENT_NAME>_SOURCES defines the dependencies.
################################################################################
define GENDOC