#!/bin/sh
#
# A quick hack to have html docs be installed properly
#

if [ $# == 2 ];
then
	echo mv $2 $2.html
        mv $2 $2.html
else
	echo "install-info-html wrapper"
fi
