index
:
teythoon/gnumach.git
fix-ipc-space-locking-2015-07-27
fix-ipc-space-locking-2015-08-15
justus/dde-0
master
pmm-2015-07-27
pmm-2015-08-12
pmm-2015-08-14
pmm-2015-08-15
pmm-2015-08-16
pmm-2015-08-26
pmm-2015-08-28
pmm-2015-09-25
Personal GNU Mach development repository
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
postinst
blob: 5728608981388d87093d397a11eadc66768fc10a (
plain
)
1
2
3
#!/bin/sh -e install-info --quiet --section "Kernel" "Kernel" /usr/share/info/mach.info