diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2016-04-08 11:01:31 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2016-04-08 11:01:31 +0200 |
| commit | d28d07497f67fea4c62fe7a2d3201fd86fb64fe2 (patch) | |
| tree | 6ea72e7ab1d9c56ba48c4a271d67d6e97e4a7f5c | |
| parent | 19716e93d8f8a5cc1d6ec6a7ee9c7a4cb9ceb6c2 (diff) | |
regenerate manual after updating org and ox-texinfo+v2.5.1
Used versions:
- org: release_8.3.4-32-g9c6811
- ox-texinfo+: 5bfae235af6d649a5fdd6a5b509e37237b8d606e
| -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 |