diff options
| author | Chris Marusich <cmmarusich@gmail.com> | 2016-11-01 22:48:14 -0700 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-11-06 18:08:53 +0100 |
| commit | 1e17a2d5f2058df0277abd4aad70940d7282528e (patch) | |
| tree | 78b385c47994703e32175c5e87d9dbed089b2357 /doc | |
| parent | aff7280a0b2fabd2657923fcce62332cd5629e7b (diff) | |
install: Extract procedure: install-grub-config.
* gnu/build/install.scm (install-grub-config): New procedure.
(install-grub): Use it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions