www/gnu gnu-linux-faq.html

[Pavel Kharitonov]

CVSROOT:        /web/www
Module name:    www
Changes by:     Pavel Kharitonov <ineiev>       13/04/02 08:16:08

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

Log message:
        Fix a typo ("one one second"); use &ldquo;...&rdquo; for quotes.
        RT #817304.

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

Patches:
Index: gnu-linux-faq.html
===================================================================
RCS file: /web/www/www/gnu/gnu-linux-faq.html,v
retrieving revision 1.118
retrieving revision 1.119
diff -u -b -r1.118 -r1.119
--- gnu-linux-faq.html  1 Apr 2013 22:58:56 -0000       1.118
+++ gnu-linux-faq.html  2 Apr 2013 08:16:07 -0000       1.119
@@ -79,7 +79,7 @@
 
 <li><a href="#long2" id="TOClong2">The problem with
     &ldquo;GNU/Linux&rdquo; is that it is too long.  Why should
-    I go to the trouble of saying "GNU/"?</a></li>
+    I go to the trouble of saying &ldquo;GNU/&rdquo;?</a></li>
 
 <li><a href="#justgnu" id="TOCjustgnu">Since Linux is a secondary
     contribution, would it be false to the facts to call the system
@@ -566,12 +566,13 @@
 </dd>
 
 <dt id="long2">The problem with &ldquo;GNU/Linux&rdquo; is that it is too long.
-    Why should I go to the trouble of saying "GNU/"? <span 
class="anchor-reference-id">(<a href="#long2">#long2</a>)</span></dt>
+    Why should I go to the trouble of saying &ldquo;GNU/&rdquo;?
+    <span class="anchor-reference-id">(<a href="#long2">#long2</a>)</span></dt>
 
 <dd>
-<p>It only takes a second to say or type "GNU/".  If you appreciate the
-system that we developed, can't you take one one second to recognize
-our work?</p>
+<p>It only takes a second to say or type &ldquo;GNU/&rdquo;.  If you
+appreciate the system that we developed, can't you take one second
+to recognize our work?</p>
 </dd>
 
 <dt id="justgnu">Since Linux is a secondary
@@ -1376,7 +1377,7 @@
 
 <p>Updated:
 <!-- timestamp start -->
-$Date: 2013/04/01 22:58:56 $
+$Date: 2013/04/02 08:16:07 $
 <!-- timestamp end -->
 </p>
 </div>