Lars Ingebrigtsen 28c5c27162 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)

2022-07-04 14:09:24 +02:00

41 KiB

Raw Blame History

View Raw