[GNU-traductores] gnudist:/home/www/html/doc/doc.html -- recent changes

[gnudist's file diff daemon]

This is an automated report from gnudist.
Recent changes to /home/www/html/doc/doc.html:

  14 -rw-rw-r--   1 webcvs   www         12755 Dec  4 14:29 
/home/www/html/doc/doc.html

diff  -u  /home/diffmon/old_file_dir/gnudist:!home!www!html!doc!doc.html.gz 
/home/www/html/doc/doc.html
--- /tmp/diffmon1466    Wed Dec  5 08:07:37 2001
+++ /home/www/html/doc/doc.html Tue Dec  4 14:29:27 2001
@@ -80,7 +80,7 @@
 
 GNU documentation is available by several different methods. Our manuals
 come with a permission to copy and modify them. The oldest book that can
-be distributed freely is the <A 
HREF="http://portico.bl.uk/diglib/treasures/diamond-sutra.html";>Diamond 
Sutra</A>, published in China in the year 868.
+be distributed freely is the <A 
HREF="http://www.bl.uk/collections/treasures/diamond.html";>Diamond Sutra</A>, 
published in China in the year 868.
 For an introduction to free documentation,
 see <A HREF="http://www.stallman.org/";>Richard Stallman</A>'s essay on
 <A HREF="/philosophy/free-doc.html">Free Software and Free Manuals</A>.
@@ -369,7 +369,7 @@
 permitted in any medium, provided this notice is preserved.<P>
 Updated:
 <!-- timestamp start -->
-$Date: 2001/09/18 18:03:55 $ $Author: bfteam $
+$Date: 2001/12/04 22:29:23 $ $Author: mohit $
 <!-- timestamp end -->
 <HR>
 </BODY>