User Tools

Site Tools


dev-guide:plugin-ecosystem

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

dev-guide:plugin-ecosystem [2025/07/18 15:14] – created Timdev-guide:plugin-ecosystem [2025/07/18 15:17] (current) – [Manuals web explorer] Tim
Line 14: Line 14:
 ===== Manuals web explorer ===== ===== Manuals web explorer =====
  
 +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:
  
 +  - out/manuals : A collection of all the embedded documentation in the same html form as used in GroIMP
 +  - out/plugin-summaries : All SUMMARY.md files from the plugin repositories
 +  - out/plugin-panels : All PANELS.md files from the GitLab pages of the plugins
 +  - out/plugin-io : All IO.md files from the GitLab pages of the plugins
 +  - out/plugin-commands : All COMMANDS.md files from the GitLab pages of the plugins
 +  - 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.
dev-guide/plugin-ecosystem.1752844486.txt.gz · Last modified: 2025/07/18 15:14 by Tim