* doc/misc/nxml-mode.texi (Introduction): Update @url.

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index e7fa4651b01d596340d54a3d3aa2c89990bea0d4..941480ca88ac5ad34444040929d71daabe3ebabd 100644 (file)
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,5 +1,7 @@
 2013-07-04  Glenn Morris  <rgm@gnu.org>
 
+       * nxml-mode.texi (Introduction): Update @url.
+
        * org.texi (JavaScript support): Fix @url.
 
        * wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref.

diff --git a/doc/misc/nxml-mode.texi b/doc/misc/nxml-mode.texi
index 13e91d128194c07988d4f9678739094e4ebcc99c..8c81b6fbd20c841ff96a17977cc7c59d1d0aeead 100644 (file)
--- a/doc/misc/nxml-mode.texi
+++ b/doc/misc/nxml-mode.texi
@@ -86,7 +86,11 @@ convert a RELAX NG XML syntax schema to an RNC schema.
 
 @noindent To convert a RELAX NG XML syntax (@samp{.rng}) schema to a RNC
 one, you can also use the XSLT stylesheet from
+@url{https://github.com/oleg-pavliv/emacs/tree/master/xsl}.
+@ignore
+@c Original location, now defunct.
 @url{http://www.pantor.com/download.html}.
+@end ignore
 
 To convert a W3C XML Schema to an RNC schema, you need first to convert it
 to RELAX NG XML syntax using the RELAX NG converter tool @code{rngconv}