diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/ChangeLog | 4 | ||||
| -rw-r--r-- | 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 @@ | |||
| 1 | 2013-07-04 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref. | ||
| 4 | |||
| 1 | 2013-07-03 Glenn Morris <rgm@gnu.org> | 5 | 2013-07-03 Glenn Morris <rgm@gnu.org> |
| 2 | 6 | ||
| 3 | * eudc.texi (CCSO PH/QI): Remove defunct URL. | 7 | * 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. | |||
| 113 | 113 | ||
| 114 | For more details on the basic concepts for understanding Wisent, it is | 114 | For more details on the basic concepts for understanding Wisent, it is |
| 115 | worthwhile to read the @ref{Top, Bison Manual, , bison}. | 115 | worthwhile to read the @ref{Top, Bison Manual, , bison}. |
| 116 | @ifhtml | ||
| 117 | @uref{http://www.gnu.org/manual/bison/html_node/index.html}. | ||
| 118 | @end ifhtml | ||
| 119 | 116 | ||
| 120 | Wisent can generate compilers compatible with the @semantic{} tool set. | 117 | Wisent can generate compilers compatible with the @semantic{} tool set. |
| 121 | See the @ref{Top, Semantic Manual, , semantic}. | 118 | See the @ref{Top, Semantic Manual, , semantic}. |