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 /guix/scripts | |
| parent | 8334e7c36ba7266fdbcf783d80c02a072cf1347b (diff) | |
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 'guix/scripts')
0 files changed, 0 insertions, 0 deletions