#! /bin/bash
echo "Updating and installing Texinfo pages..."
pushd /usr/share/info > /dev/null
rm -f dir
for f in *; do
	install-info $f dir 2>/dev/null
done
popd > /dev/null
