www/gnu gnu-linux-faq.html

[Ineiev]

CVSROOT:        /web/www
Module name:    www
Changes by:     Ineiev <ineiev> 17/09/15 04:49:04

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

Log message:
        Validation fix.

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

Patches:
Index: gnu-linux-faq.html
===================================================================
RCS file: /web/www/www/gnu/gnu-linux-faq.html,v
retrieving revision 1.147
retrieving revision 1.148
diff -u -b -r1.147 -r1.148
--- gnu-linux-faq.html  14 Sep 2017 17:52:21 -0000      1.147
+++ gnu-linux-faq.html  15 Sep 2017 08:49:03 -0000      1.148
@@ -852,12 +852,13 @@
 than &ldquo;Linux/GNU&rdquo;? <span class="anchor-reference-id">(<a 
href="#whyorder">#whyorder</a>)</span></dt>
 
 <dd>
+<p>
 It is right and proper to mention the principal contribution first.
 The GNU contribution to the system is not only bigger than Linux and
-prior to Linux, we actually started the whole activity.
+prior to Linux, we actually started the whole activity.</p>
 <p>
 In addition, &ldquo;GNU/Linux&rdquo; fits the fact that Linux is the
-lowest level of the system and GNU fills technically higher levels.
+lowest level of the system and GNU fills technically higher levels.</p>
 <p>
 However, if you prefer to call the system &ldquo;Linux/GNU&rdquo;, that is a 
lot
 better than what people usually do, which is to omit GNU entirely and
@@ -1557,7 +1558,7 @@
 
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2017/09/14 17:52:21 $
+$Date: 2017/09/15 08:49:03 $
 <!-- timestamp end -->
 </p>
 </div>