#!/bin/bash

# if /usr/share/info is newer than /usr/share/info/dir, an .info file has been
# added/removed/replaced since the last time we rebuilt the info directory

if [ /usr/share/info -nt /usr/share/info/dir ] ; then
    echo "Rebuilding info directory"
    rm -f /usr/share/info/dir.info /usr/share/info/dir
    for f in /usr/share/info/*; do
        case "$f" in
            *\**)
                ;;
            */dir|*/dir.info*)
                ;;
            *-[0123456789]*)
                ;;
            *)
                install-info $f /usr/share/info/dir ||
                install-info --entry="* $$f ($f): $$f" $$f /usr/share/info/dir
                ;;
        esac
    done
fi