Commit bd55264255e40e0186ec61239dab937391fc9479
2025-05-15T17:20:44
doc: Use custom alias to fix HTML tags unsupported by Doxygen Previous solution with `sed` is both overkilled and unreliable. Prefer a hack using Doxygen’s buit-ins, although we are not sure these are much more stable… 😓