doxygen: don't crash when encountering xrefs in the form of @_1@.

Triggered by Android NDK docs.

diff --git a/doxygen/dox2html5.py b/doxygen/dox2html5.py
index b341de7246edc0396f833fa8ca5c2128b7dfdf1d..aafe43fe32c8cd4e4c52e1e9fdbc80f323973dd5 100755 (executable)
--- a/doxygen/dox2html5.py
+++ b/doxygen/dox2html5.py
@@ -340,7 +340,7 @@ def serialize_search_data(trie: Trie, map: ResultMap, symbol_count, merge_subtre
     # magic header, version, symbol count, offset of result map
     return search_data_header_struct.pack(b'MCS', 0, symbol_count, len(serialized_trie) + 10) + serialized_trie + serialized_map
 
-xref_id_rx = re.compile(r"""(.*)_1(_[a-z-]+[0-9]+)$""")
+xref_id_rx = re.compile(r"""(.*)_1(_[a-z-]+[0-9]+|@)$""")
 slugify_nonalnum_rx = re.compile(r"""[^\w\s-]""")
 slugify_hyphens_rx = re.compile(r"""[-\s]+""")