diff options
author | zimoun <zimon.toutoune@gmail.com> | 2021-03-26 08:03:19 +0100 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2021-04-05 13:19:22 +0200 |
commit | beaf701d65e9f94d0539e705d6f58a65313c5655 (patch) | |
tree | a0a5cea89d4583265be8c3367a42d0319916de2b /po/doc | |
parent | 56eedd4f936aaa6ab42f882cc8363e33d4957933 (diff) |
doc: Use the shell dollar substitution.
See:
https://unix.stackexchange.com/questions/126927/have-backticks-i-e-cmd-in-sh-shells-been-deprecated
* doc/guix.texi: Replace the shell backquote deprecated substitution by the
dollar one.
Diffstat (limited to 'po/doc')
0 files changed, 0 insertions, 0 deletions