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

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

2 files changed, 4 insertions, 3 deletions

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 6a745b27d96..71f4039152f 100644
--- 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 958e4a72b86..e33a50a43ae 100644
--- 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}.