admin.el fix for bug#47394

* admin/admin.el (manual-html-fix-index-2): Handle Texinfo 6.7.

diff --git a/admin/admin.el b/admin/admin.el
index fa96b7e5cac7a216d9c21584ec6bd291a6307934..9be6f4a60713a87136e483812d8aa8cbdd645bf9 100644 (file)
--- a/admin/admin.el
+++ b/admin/admin.el
@@ -545,7 +545,7 @@ Leave point after the table."
        (forward-line 1)
        (while (not done)
          (cond ((re-search-forward "<tr><td.*&bull; \\(<a.*</a>\\)\
-:</td><td>&nbsp;&nbsp;</td><td[^>]*>\\(.*\\)" (line-end-position) t)
+:?</td><td>&nbsp;&nbsp;</td><td[^>]*>\\(.*\\)" (line-end-position) t)
                 (replace-match (format "<tr><td%s>\\1</td>\n<td>\\2"
                                        (if table-workaround
                                            " bgcolor=\"white\"" "")))