fix build of plugins manual
Merge pull request #867 from Jojo-Schmitz/plugins-manual

fix build of plugins manual