[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
www/philosophy is-ever-good-use-nonfree-program...
From: |
Pavel Kharitonov |
Subject: |
www/philosophy is-ever-good-use-nonfree-program... |
Date: |
Tue, 20 Dec 2016 10:50:44 -0500 (EST) |
CVSROOT: /web/www
Module name: www
Changes by: Pavel Kharitonov <ineiev> 16/12/20 10:50:44
Modified files:
philosophy : is-ever-good-use-nonfree-program.html
Log message:
Validation fix.
CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/philosophy/is-ever-good-use-nonfree-program.html?cvsroot=www&r1=1.17&r2=1.18
Patches:
Index: is-ever-good-use-nonfree-program.html
===================================================================
RCS file: /web/www/www/philosophy/is-ever-good-use-nonfree-program.html,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -b -r1.17 -r1.18
--- is-ever-good-use-nonfree-program.html 20 Dec 2016 14:18:14 -0000
1.17
+++ is-ever-good-use-nonfree-program.html 20 Dec 2016 15:50:42 -0000
1.18
@@ -11,7 +11,7 @@
Stallman</strong></a></p>
<p>If you run a nonfree program on your computer, it denies your freedom;
-the immediate wrong is directed at you.(<a href="#Footnote">*</a>)</p>
+the immediate wrong is directed at you.(<a href="#footnote">*</a>)</p>
<p>If you recommend that others run the nonfree program,
or lead them to do so, you're leading them to give
@@ -102,7 +102,7 @@
<hr />
-<p><a id="footnote">Footnote</a>: Using the nonfree program can have
+<p id="footnote">Footnote: Using the nonfree program can have
unfortunate indirect effects, such as rewarding the perpetrator and
encouraging more use of that program. This is a further reason to
shun use of nonfree programs.</p>
@@ -119,7 +119,7 @@
uncooperative.</p>
<p>However, we think that the truly moral path is to carefully reject
-such agreements.<p/>
+such agreements.</p>
</div><!-- for id="content", starts in the include above -->
<!--#include virtual="/server/footer.html" -->
@@ -178,7 +178,7 @@
<p class="unprintable">Updated:
<!-- timestamp start -->
-$Date: 2016/12/20 14:18:14 $
+$Date: 2016/12/20 15:50:42 $
<!-- timestamp end -->
</p>
</div>