diff options
Diffstat (limited to 'man/help.texi')
-rw-r--r-- | man/help.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/man/help.texi b/man/help.texi index f9c873db0c2..b6431c5ede4 100644 --- a/man/help.texi +++ b/man/help.texi @@ -587,7 +587,3 @@ Areas of the mode line are examples. This help will normally be shown in the echo area when you move point into the active text. In a window system you can display the help text as a ``tooltip'' (sometimes known as ``balloon help''). @xref{Tooltips}. - -@ignore - arch-tag: 6f33ab62-bc75-4367-8057-fd67cc15c3a1 -@end ignore |