* doc/misc/idlwave.texi: Fix typo in previous.

diff --git a/doc/misc/idlwave.texi b/doc/misc/idlwave.texi
index f6d702c496397981fb9ed38e4833f40439eca1da..496674cd64b266175b073d2e55f49ffe98badf1b 100644 (file)
--- a/doc/misc/idlwave.texi
+++ b/doc/misc/idlwave.texi
@@ -3817,7 +3817,7 @@ equivalents (yet can be bookmarked, browsed as history, searched,
 etc.).
 
 @c Not updated in over a decade.
-@C Maybe you want to recommend eww these days.
+@c Maybe you want to recommend eww these days.
 @ignore
 @noindent Individual platform recommendations: