www/gnu gnu-linux-faq.html

[Therese Godefroy]

CVSROOT:        /webcvs/www
Module name:    www
Changes by:     Therese Godefroy <th_g> 18/01/24 03:32:14

Modified files:
        gnu            : gnu-linux-faq.html 

Log message:
        Fix discrepancies between TOC and text (RT #1266680).

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/gnu/gnu-linux-faq.html?cvsroot=www&r1=1.151&r2=1.152

Patches:
Index: gnu-linux-faq.html
===================================================================
RCS file: /webcvs/www/www/gnu/gnu-linux-faq.html,v
retrieving revision 1.151
retrieving revision 1.152
diff -u -b -r1.151 -r1.152
--- gnu-linux-faq.html  1 Jan 2018 06:21:52 -0000       1.151
+++ gnu-linux-faq.html  24 Jan 2018 08:32:13 -0000      1.152
@@ -25,7 +25,7 @@
 
 <li><a href="#whycare">Why is the name important?</a></li>
 
-<li><a href="#what">What is the real relationship between GNU and 
Linux</a></li>
+<li><a href="#what">What is the real relationship between GNU and 
Linux?</a></li>
 
 <li><a href="#howerror">How did it come about that most
     people call the system &ldquo;Linux&rdquo;?</a></li>
@@ -167,7 +167,7 @@
 <li><a href="#wait">Why did you wait so long before
     asking people to use the name GNU/Linux?</a></li>
 
-<li><a href="#allgpled">Should the GNU/[name] convention
+<li><a href="#allgpled">Should the GNU/<i>name<i> convention
     be applied to all programs that are GPL'ed?</a></li>
 
 <li><a href="#unix">Since much of GNU comes from Unix,
@@ -421,8 +421,8 @@
 those values of freedom brought the system into existence.
 </dd>
 
-<dt id="everyoneknows">Since everyone knows
-    GNU's role in developing the system, doesn't the &ldquo;GNU/&rdquo; in the
+<dt id="everyoneknows">Since everyone knows the role
+    of GNU in developing the system, doesn't the &ldquo;GNU/&rdquo; in the
     name go without saying? <span class="anchor-reference-id">(<a 
href="#everyoneknows">#everyoneknows</a>)</span></dt>
 
 <dd>Experience shows that the system's users, and the computer-using
@@ -1558,7 +1558,7 @@
 
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2018/01/01 06:21:52 $
+$Date: 2018/01/24 08:32:13 $
 <!-- timestamp end -->
 </p>
 </div>