* doc/misc/wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref.

We can use an htaccess redirect to make the previous xref work.

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 6a745b27d96b80a7a341b0e5163832f953510424..71f4039152f48039bbcc0104666b1fcaf3e1a6ec 100644 (file)
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,3 +1,7 @@
+2013-07-04  Glenn Morris  <rgm@gnu.org>
+
+       * wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref.
+
 2013-07-03  Glenn Morris  <rgm@gnu.org>
 
        * eudc.texi (CCSO PH/QI): Remove defunct URL.

diff --git a/doc/misc/wisent.texi b/doc/misc/wisent.texi
index 958e4a72b86eebb45b97b6cb3939c1815d7bd076..e33a50a43ae19ac4a456d1daccde160b22ac8553 100644 (file)
--- a/doc/misc/wisent.texi
+++ b/doc/misc/wisent.texi
@@ -113,9 +113,6 @@ of GNU Bison 1.28 & 1.31.
 
 For more details on the basic concepts for understanding Wisent, it is
 worthwhile to read the @ref{Top, Bison Manual, , bison}.
-@ifhtml
-@uref{http://www.gnu.org/manual/bison/html_node/index.html}.
-@end ifhtml
 
 Wisent can generate compilers compatible with the @semantic{} tool set.
 See the @ref{Top, Semantic Manual, , semantic}.