diff options
| -rw-r--r-- | man/maintaining.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/maintaining.texi b/man/maintaining.texi index 1307ce6a229..42af2f93aeb 100644 --- a/man/maintaining.texi +++ b/man/maintaining.texi | |||
| @@ -355,9 +355,9 @@ the syntax of several languages, as described in | |||
| 355 | @iftex | 355 | @iftex |
| 356 | the previous section. | 356 | the previous section. |
| 357 | @end iftex | 357 | @end iftex |
| 358 | @ifinfo | 358 | @ifnottex |
| 359 | @ref{Tag Syntax}. | 359 | @ref{Tag Syntax}. |
| 360 | @end ifinfo | 360 | @end ifnottex |
| 361 | Here is how to run @code{etags}: | 361 | Here is how to run @code{etags}: |
| 362 | 362 | ||
| 363 | @example | 363 | @example |