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

about summary refs log tree commit diff

path: root/debian/prerm

blob: b033806c4acf4f2d46a59a9b0e3f66ae0d814c52 (plain)

1
2
3

#!/bin/sh -e

install-info --quiet --remove /usr/share/info/mach.info