diff options
author | Gabriel Wicki <gabriel@erlikon.ch> | 2023-04-13 10:31:57 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-05-11 16:38:28 +0200 |
commit | 199218e372f490ae8158bac99d3a434557ef1bec (patch) | |
tree | abec35cbb7273b17be3f45e746b35213f29a5e87 /gnu/bootloader/grub.scm | |
parent | 61031dd32fe948d927472a8ade60df6441cc6655 (diff) | |
download | guix-199218e372f490ae8158bac99d3a434557ef1bec.tar guix-199218e372f490ae8158bac99d3a434557ef1bec.tar.gz |
doc: Clarify substitute* docstring with an example.
* doc/guix.texi (Build Utilities): Update the corresponding passage.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/bootloader/grub.scm')
0 files changed, 0 insertions, 0 deletions