diff options
| author | Glenn Morris | 2013-07-03 18:53:56 -0700 |
|---|---|---|
| committer | Glenn Morris | 2013-07-03 18:53:56 -0700 |
| commit | 583873a92efb6d46276dfa74814aa81e510e5cac (patch) | |
| tree | aac3211aa4fee20da3080efb9f4e17881cf8f895 | |
| parent | 91eea47bd76914ddf595c918b93beb3992ac42da (diff) | |
| download | emacs-583873a92efb6d46276dfa74814aa81e510e5cac.tar.gz emacs-583873a92efb6d46276dfa74814aa81e510e5cac.zip | |
* doc/misc/nxml-mode.texi (Introduction): Update @url.
| -rw-r--r-- | doc/misc/ChangeLog | 2 | ||||
| -rw-r--r-- | doc/misc/nxml-mode.texi | 4 |
2 files changed, 6 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index e7fa4651b01..941480ca88a 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | 2013-07-04 Glenn Morris <rgm@gnu.org> | 1 | 2013-07-04 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * nxml-mode.texi (Introduction): Update @url. | ||
| 4 | |||
| 3 | * org.texi (JavaScript support): Fix @url. | 5 | * org.texi (JavaScript support): Fix @url. |
| 4 | 6 | ||
| 5 | * wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref. | 7 | * wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref. |
diff --git a/doc/misc/nxml-mode.texi b/doc/misc/nxml-mode.texi index 13e91d12819..8c81b6fbd20 100644 --- 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. | |||
| 86 | 86 | ||
| 87 | @noindent To convert a RELAX NG XML syntax (@samp{.rng}) schema to a RNC | 87 | @noindent To convert a RELAX NG XML syntax (@samp{.rng}) schema to a RNC |
| 88 | one, you can also use the XSLT stylesheet from | 88 | one, you can also use the XSLT stylesheet from |
| 89 | @url{https://github.com/oleg-pavliv/emacs/tree/master/xsl}. | ||
| 90 | @ignore | ||
| 91 | @c Original location, now defunct. | ||
| 89 | @url{http://www.pantor.com/download.html}. | 92 | @url{http://www.pantor.com/download.html}. |
| 93 | @end ignore | ||
| 90 | 94 | ||
| 91 | To convert a W3C XML Schema to an RNC schema, you need first to convert it | 95 | To convert a W3C XML Schema to an RNC schema, you need first to convert it |
| 92 | to RELAX NG XML syntax using the RELAX NG converter tool @code{rngconv} | 96 | to RELAX NG XML syntax using the RELAX NG converter tool @code{rngconv} |