universalisos/tools
Fábio Coutada 0d101203e4 feat(docs): extend extraction script to support arbitrary base directories
- Add --base-dir argument to extract_pikeos_docs.py
- Preserve source path relative to the chosen base directory
- Fix Path('.') resolution so --base-dir . works correctly
2026-07-06 23:16:27 +01:00
..
extract_pikeos_docs.py feat(docs): extend extraction script to support arbitrary base directories 2026-07-06 23:16:27 +01:00