1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-28 16:21:07 -08:00

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

We can use an htaccess redirect to make the previous xref work.
This commit is contained in:
Glenn Morris 2013-07-03 18:52:12 -07:00
parent f20e77de7e
commit bfd569a4e7
2 changed files with 4 additions and 3 deletions

View file

@ -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.

View file

@ -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}.