Simplify slightly.

diff --git a/Doc/tools/fixinfo.el b/Doc/tools/fixinfo.el
index 75baf34beb380441fff1e7482bf65181409f27ac..267a7e3c93253529c290ab7cfdeea29342c4e6da 100644 (file)
--- a/Doc/tools/fixinfo.el
+++ b/Doc/tools/fixinfo.el
@@ -4,10 +4,8 @@
                  "\\1python-\\2.info")
   (replace-string "@node Front Matter\n@chapter Abstract\n"
                  "@node Abstract\n@section Abstract\n")
-  (progn
-    (mark-whole-buffer)
-    (texinfo-master-menu 'update-all-nodes)
-    )
+  (mark-whole-buffer)
+  (texinfo-master-menu 'update-all-nodes)
   (save-buffer)
   )    ;; fix-python-texinfo