#!/bin/sh
infodir='/usr/share/info'

# Exit cleanly if the info directory does not exist
[ -d "$infodir" ] || exit 0

rm -f "$infodir"/dir
find "$infodir" \( -name "*.info" -o -name "*.info.gz" \) \
	-exec install-info {} "$infodir"/dir \;
