From 557c0615ac84ddb9fba6820e757c8d054e9a8fcc Mon Sep 17 00:00:00 2001 From: Richard Gallamore Date: Thu, 28 Sep 2017 19:21:19 +0000 Subject: [PATCH] Clearer wording for when GitHub is not default group Approved by: mat --- en_US.ISO8859-1/books/porters-handbook/makefiles/chapter.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/en_US.ISO8859-1/books/porters-handbook/makefiles/chapter.xml b/en_US.ISO8859-1/books/porters-handbook/makefiles/chapter.xml index 192b275cc5..25df7278c0 100644 --- a/en_US.ISO8859-1/books/porters-handbook/makefiles/chapter.xml +++ b/en_US.ISO8859-1/books/porters-handbook/makefiles/chapter.xml @@ -2639,7 +2639,7 @@ v0.7.3-0-gc66c71d linkend="porting-master-sites-n"/>. When fetching multiple files from GitHub, sometimes the - default distribution file is not required. To disable + default distribution file is not fetched from GitHub. To disable fetching the default distribution, set: USE_GITHUB= nodefault