diff options
| author | Holger Peters <holger.peters@posteo.de> | 2020-12-04 10:51:37 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-12-07 12:48:25 +0100 |
| commit | b3f21eb6bc895a4eafe903dfbb480de481bbb4c7 (patch) | |
| tree | a961263c768a1438add16e52bea9383d4c36c6ee /doc/local.mk | |
| parent | 27cf23874402f7132df8bb84a5501ae88abb240a (diff) | |
doc: Fix incorrect GUIX_PROFILE value for 'guix pull'.
* doc/guix.texi (Getting Started): Fix invalid GUIX_PROFILE value.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'doc/local.mk')
0 files changed, 0 insertions, 0 deletions