#!/bin/sh -e

install-info --quiet --section "Kernel" "Kernel" /usr/share/info/mach.info