Each plugin in GroIMP has its own git repository which can be changed and deployed individually.
The references to all the plugins are collected in the plugin-repo.list in the plugin web exlorer. The same repository is also creating the website plugins.grogra.de based on the content of this list as well as the the plugins.json file for the embedded pluginmanager.
The plugin web explorer pipeline is triggered once a day, and therefore updates on version can delay for up to a day. It is possible to trigger the pipeline automatically which will update the plugins.json file directly.
The web page manuals.grogra.de is created using the script form this repository: https://gitlab.com/grogra/groimp-utils/manual-web-explorer.
The script creates 6 folders for different parts plugin documentation:
This script is executed once a week on the grogra.de server to update the content of manuals.grogra.de.