www/philosophy nonsoftware-copyleft.html

[Yavor Doganov]

CVSROOT:        /web/www
Module name:    www
Changes by:     Yavor Doganov <yavor>   08/07/08 10:48:49

Modified files:
        philosophy     : nonsoftware-copyleft.html 

Log message:
        Use HTML entity for ü.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/philosophy/nonsoftware-copyleft.html?cvsroot=www&r1=1.6&r2=1.7

Patches:
Index: nonsoftware-copyleft.html
===================================================================
RCS file: /web/www/www/philosophy/nonsoftware-copyleft.html,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -b -r1.6 -r1.7
--- nonsoftware-copyleft.html   19 Jun 2007 00:02:59 -0000      1.6
+++ nonsoftware-copyleft.html   8 Jul 2008 10:48:43 -0000       1.7
@@ -15,17 +15,17 @@
 File</a>, reads:</p>
 
 <blockquote><p>
-   copyleft: /kop'ee-left/ [play on `copyright'] n. 1. The
-   copyright notice (`General Public License') carried by GNU
-   EMACS and other Free Software Foundation software, granting reuse
-   and reproduction rights to all comers (but see also General
+   copyleft: /kop'ee-left/ [play on &lsquo;copyright&rsquo;] n. 1. The
+   copyright notice (&lsquo;General Public License&rsquo;) carried by
+   GNU EMACS and other Free Software Foundation software, granting
+   reuse and reproduction rights to all comers (but see also General
    Public Virus).  2. By extension, any copyright notice intended to
    achieve similar aims.
 </p></blockquote>
 
 <p>The idea of <a href="/copyleft/copyleft.html">copyleft</a>
-originated with über-hacker <a href="http://www.stallman.org/";>Richard
-Stallman</a> in 1983 when he started
+originated with &uuml;ber-hacker <a href="http://www.stallman.org/";>
+Richard Stallman</a> in 1983 when he started
 the <a href="/gnu/gnu-history.html">GNU Project</a>. In brief, his
 goal was &ldquo;to develop a complete free Unix-like operating
 system.&rdquo; As part of that goal, he invented and wrote
@@ -209,7 +209,7 @@
 <p>
 Updated:
 <!-- timestamp start -->
-$Date: 2007/06/19 00:02:59 $
+$Date: 2008/07/08 10:48:43 $
 <!-- timestamp end -->
 </p>
 </div>