diff options
| -rw-r--r-- | with-editor.texi | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/with-editor.texi b/with-editor.texi index 3b34b73..0369130 100644 --- a/with-editor.texi +++ b/with-editor.texi @@ -62,7 +62,6 @@ General Public License for more details. @insertcopying @end ifnottex - @menu * Using the With-Editor package:: * Using With-Editor as a library:: @@ -75,7 +74,6 @@ Using the With-Editor package * Configuring With-Editor:: * Using With-Editor commands:: - @end detailmenu @end menu |