#!/bin/sh
set -e
#
install-info --quiet --remove ilu-manual
