postinst « debian - gnumach.git - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff

path: root/debian/postinst

blob: 5728608981388d87093d397a11eadc66768fc10a (plain)

1
2
3

#!/bin/sh -e

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