diff options
| author | Tobias Geerinckx-Rice <[email protected]> | 2021-06-29 03:09:53 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <[email protected]> | 2021-06-29 05:18:51 +0200 |
| commit | 1ef68130a3f99b5695a5a6f7b369560a1d61df66 (patch) | |
| tree | 22ef26a89f9a10a4dac2a3fc2bc814271fe22406 /gnu/bootloader | |
| parent | 5b9a769b23ab475bfb73899b2749c3ecb55f728b (diff) | |
gnu: man-pages: Update to 5.12.
* gnu/packages/man.scm (man-pages): Update to 5.12.
[arguments]: Follow switch to standard ‘mandir’ over ‘MANDIR’. \o/
Diffstat (limited to 'gnu/bootloader')
0 files changed, 0 insertions, 0 deletions