summaryrefslogtreecommitdiff
path: root/share/man/just-mr-repository-config.5.org
AgeCommit message (Collapse)Author
2023-06-02man: Convert man pages to markdownOliver Reiche
... for easy processing with pandoc. (cherry picked from commit b6dbf64d641b9286e2d9d99adb20ae9dbdf2e1b9)
2023-05-10man: Fix orgmode option for section idOliver Reiche
2023-03-08docs: Update just-mr section-5 man page with new 'git tree' repository typePaul Cristian Sarbu
2022-11-08Fixes to just-mr repo config man 5Paul Cristian Sarbu
- specify explicitly for archives: for missing 'distfile' we use the basename of 'fetch_url' - specify explicitly that 'subdir' is not a mandatory field
2022-11-07update field names in the man page of just-mr-repository-configAlberto Sartori
2022-10-20man: Update just-mr-repository-config man pageOliver Reiche
2022-06-30Add section-5 man page for just-mr repository config file formatPaul Cristian Sarbu