Eclipse

• https://www.doxygen.nl/manual/searching.html
• https://github.com/doxygen/doxygen/issues/6434
• https://stackoverflow.com/questions/51067001/how-to-install-eclipse-help-plug-in-generated-by-doxygen
• https://www.eclipse.org/articles/Article-Online%20Help%20for%202_0/help1.htm
• https://help.eclipse.org/latest/index.jsp?topic=%2Forg.eclipse.platform.doc.isv%2Freference%2Fextension-points%2Forg_eclipse_help_toc.html
• https://help.eclipse.org/latest/index.jsp?topic=%2Forg.eclipse.platform.doc.isv%2Freference%2Fmisc%2Fp2_dropins_format.html

dropins folder reagiert gar nicht beim Neu laden.