From e0e3f2b672bc42da52ac9c7596c7560a88684651 Mon Sep 17 00:00:00 2001
From: Lars Ingebrigtsen <larsi@gnus.org>
Date: Mon, 4 Jul 2022 12:37:17 +0200
Subject: [PATCH] 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 6be378b9246..2d809313ca4 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)
-- 
2.39.2