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 /build-aux | |
parent | aff7280a0b2fabd2657923fcce62332cd5629e7b (diff) | |
download | patches-1e17a2d5f2058df0277abd4aad70940d7282528e.tar patches-1e17a2d5f2058df0277abd4aad70940d7282528e.tar.gz |
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 'build-aux')
0 files changed, 0 insertions, 0 deletions