See the `doxygen.js` docs script about this.

This is for Doxygen's HTML output (C++ API docs).