master e0e3f2b672 2/5: Don't bug out in manual-html-fix-index-2 on newer makeinfo versions

[Lars Ingebrigtsen]

branch: master
commit e0e3f2b672bc42da52ac9c7596c7560a88684651
Author: Lars Ingebrigtsen <larsi@gnus.org>
Commit: Lars Ingebrigtsen <larsi@gnus.org>

    Don't bug out in manual-html-fix-index-2 on newer makeinfo versions
    
    * admin/admin.el (manual-html-fix-index-2): Don't bug out if the
    makeinfo version doesn't include <ul>.
---
 admin/admin.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/admin/admin.el b/admin/admin.el
index 6be378b924..2d809313ca 100644
--- a/admin/admin.el
+++ b/admin/admin.el
@@ -617,7 +617,7 @@ style=\"text-align:left\">")
       ;; its original form.
       (when (or (search-forward "<ul class=\"menu\">" nil t)
                ;; FIXME?  The following search seems dangerously lax.
-               (search-forward "<ul>"))
+               (search-forward "<ul>" nil t))
         ;; Convert the list that Makeinfo made into a table.
         (replace-match "<table style=\"float:left\" width=\"100%\">")
         (forward-line 1)