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 e0e3f2b672)
This commit is contained in:
Lars Ingebrigtsen 2022-07-04 12:37:17 +02:00 committed by Robert Pluim
parent 724f712ef1
commit 28c5c27162

View file

@ -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)