diff --git a/admin/admin.el b/admin/admin.el index a4d3720ab69..edd3246a1a3 100644 --- a/admin/admin.el +++ b/admin/admin.el @@ -613,9 +613,7 @@ style=\"text-align:left\">") ;; item is not there anymore. So for HTML manuals produced by ;; those newer versions of Texinfo we punt and leave the menu in ;; its original form. - (when (or (search-forward "