From a097166f378df8f3991a0e6f85a04aff41a1ed25 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Fri, 20 Sep 2013 11:24:46 +0200 Subject: synonyms for dir MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- using-git.texinfo | 1 + 1 file changed, 1 insertion(+) diff --git a/using-git.texinfo b/using-git.texinfo index 7917506..d9bb7ac 100644 --- a/using-git.texinfo +++ b/using-git.texinfo @@ -1822,6 +1822,7 @@ Fix a grammaro (a grammatical error.) Abbreviation for `reference'. @item dir Abbreviation for `directory'. +@footnote{`Catalogue' and, for Windows folk, `folder' are synonyms for `directory'.} @item conf Abbreviation for `configuration' or `configure'. @item misc -- cgit v1.2.3-70-g09d2