Clearer wording for when GitHub is not default group

Approved by:	mat
This commit is contained in:
Richard Gallamore 2017-09-28 19:21:19 +00:00
parent 3ce0e3e0e9
commit 557c0615ac
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=50954

View file

@ -2639,7 +2639,7 @@ v0.7.3-0-gc66c71d</screen>
linkend="porting-master-sites-n"/>.</para>
<para>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:</para>
<programlisting>USE_GITHUB= nodefault</programlisting>