Documentation: describe the "repository" in repository-layout

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 971977b8aa3cfbc97f2f60f1be051d7327c00beb..c2d3ec12604a10ca8cdeea8cbb63ea91c4dbd643 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -346,8 +346,8 @@ $(patsubst %.txt,%.html,$(wildcard howto/*.txt)): %.html : %.txt
 install-webdoc : html
        '$(SHELL_PATH_SQ)' ./install-webdoc.sh $(WEBDOC_DEST)
 
-# You must have a clone of git-htmldocs and git-manpages repositories
-# next to the git repository itself for the following to work.
+# You must have a clone of 'git-htmldocs' and 'git-manpages' repositories
+# next to the 'git' repository itself for the following to work.
 
 quick-install: quick-install-man