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>.

diff --git a/admin/admin.el b/admin/admin.el
index 6be378b924603e18c2675ca493e378f33ec31f70..2d809313ca4a91968889efbccb3f0a5f3922f2c6 100644 (file)
--- 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)