Remove no-longer-used install file

Signed-off-by: Mattias Andrée <maandree@kth.se>

1 files changed, 0 insertions, 20 deletions

diff --git a/krandom.install b/krandom.install
deleted file mode 100644
index c756c7feaf10..000000000000
--- a/krandom.install
+++ /dev/null
@@ -1,20 +0,0 @@
-_file="krandom"
-
-infodir="usr/share/info"
-file="${_file}.info"
-
-
-post_install() {
-  [[ -x "usr/bin/install-info" ]] || return 0
-  install-info -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null
-}
-
-post_upgrade() {
-  post_install "$1"
-}
-
-pre_remove() {
-  [[ -x "usr/bin/install-info" ]] || return 0
-  install-info --delete -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null
-}
-