From d28d07497f67fea4c62fe7a2d3201fd86fb64fe2 Mon Sep 17 00:00:00 2001 From: Jonas Bernoulli Date: Fri, 8 Apr 2016 11:01:31 +0200 Subject: [PATCH] regenerate manual after updating org and ox-texinfo+ Used versions: - org: release_8.3.4-32-g9c6811 - ox-texinfo+: 5bfae235af6d649a5fdd6a5b509e37237b8d606e --- with-editor.texi | 2 -- 1 file changed, 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