dev-guide:plugin-ecosystem
Differences
This shows you the differences between two versions of the page.
dev-guide:plugin-ecosystem [2025/07/18 15:14] – created Tim | dev-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:// | ||
+ | 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/ | ||
+ | - out/ | ||
+ | - out/ | ||
+ | - out/ | ||
+ | - out/ | ||
+ | |||
+ | This script is executed once a week on the grogra.de server to update the content of manuals.grogra.de. |
dev-guide/plugin-ecosystem.txt · Last modified: 2025/07/18 15:17 by Tim