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:

1. out/manuals : A collection of all the embedded documentation in the same html form as used in GroIMP
2. out/plugin-summaries : All SUMMARY.md files from the plugin repositories
3. out/plugin-panels : All PANELS.md files from the GitLab pages of the plugins
4. out/plugin-io : All IO.md files from the GitLab pages of the plugins
5. out/plugin-commands : All COMMANDS.md files from the GitLab pages of the plugins
6. out/plugin-options : All OPTIONS.md files from the GitLab pages of the plugins

This script is executed once a week on the grogra.de server to update the content of manuals.grogra.de.