#! /bin/sh
set -e
install-info --quiet --section Kernel Kernel \
            /usr/info/grub.info.gz
install-info --quiet --section Kernel Kernel \
            /usr/info/multiboot.info.gz