--- guide.html  Tue May 24 19:10:11 2016
+++ guide_mine.html     Tue May 24 19:13:02 2016
@@ -282,7 +282,7 @@
 
 <li>
 All files in <tt>DISTFILES</tt> are usually processed during
-<tt>make extract</tt>.
+<tt><b>make extract</b></tt>.
 <tt>EXTRACT_ONLY</tt> may be used to limit extraction to a subset of files
 (possibly empty).
 The customary use of this variable is to customize extraction: for instance,

Reply via email to