This is my response to commit #
8a07aac. (:
@noindent
where @code{SECTION} is the name of the file containing the section
@noindent
where @code{SECTION} is the name of the file containing the section
-to be build, and @code{MANUAL} is replaced by the name of the directory
+to be built, and @code{MANUAL} is replaced by the name of the directory
containing the section. So, for example, to build section 1.1 of the
Notation Reference, use the command:
containing the section. So, for example, to build section 1.1 of the
Notation Reference, use the command: