Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/exts/policyident.py
Commit message (Collapse)AuthorAgeFilesLines
* Sort Policy Index keys by PGxx identifiersMichał Górny2020-03-021-1/+3
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> Closes: https://github.com/gentoo/policy-guide/pull/15 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Use #pg links in TOCMichał Górny2020-02-251-0/+6
| | | | | | | | Thanks for arzano for the solution. Signed-off-by: Michał Górny <mgorny@gentoo.org> Closes: https://github.com/gentoo/policy-guide/pull/14 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Generate a Policy IndexMichał Górny2020-02-251-3/+75
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Introduce PGnnnn identifiers for policiesMichał Górny2020-02-251-0/+48
Introduce stable numeric identifiers for policies, and create permalinks from them. Signed-off-by: Michał Górny <mgorny@gentoo.org>