From bfd569a4e7d698776cf787ade8a6948aaed49d9f Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Wed, 3 Jul 2013 18:52:12 -0700 Subject: [PATCH] * doc/misc/wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref. We can use an htaccess redirect to make the previous xref work. --- doc/misc/ChangeLog | 4 ++++ doc/misc/wisent.texi | 3 --- 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 + + * wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref. + 2013-07-03 Glenn Morris * 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}. -- 2.11.4.GIT