diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-06-04 11:28:24 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-06-04 12:04:23 +0200 |
commit | c332f1f4fbe8c743a2ca3c5c6fcec042e98a503e (patch) | |
tree | 6639885c0a28044e1a4f1d0e511879cc1cbdb998 /po | |
parent | 8334e7c36ba7266fdbcf783d80c02a072cf1347b (diff) | |
download | guix-c332f1f4fbe8c743a2ca3c5c6fcec042e98a503e.tar.gz |
doc: Capitalize and tweak cross-compilation-related node names.
* doc/guix.texi (Using cross-compilation): Rename to... (Cross-Compilation): ... this. (Using native builds): Rename to... (Native Builds): ... this. Adjust menus accordingly.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions