Include Doxygen Participant page in Algolia search index#743

vagxrth wants to merge 2 commits intoprecice:masterprecice/precice.github.io:masterfrom

vagxrth:feat/algolia-doxygen-participantvagxrth/precice.github.io:feat/algolia-doxygen-participantCopy head branch name to clipboard