Don't bug out in manual-html-fix-index-2 on newer makeinfo versions

Backport from master.

* admin/admin.el (manual-html-fix-index-2): Don't bug out if the
makeinfo version doesn't include <ul>.

(cherry picked from commit e0e3f2b672bc42da52ac9c7596c7560a88684651)

diff --git a/admin/admin.el b/admin/admin.el
index 2a597e624bcd158090b8620e37c3b9a766ccb37e..67cbf85a32a27eeafd197730a9b94ce3efb6813d 100644 (file)
--- a/admin/admin.el
+++ b/admin/admin.el
@@ -607,7 +607,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)