mkdir -p $INSTALL_ROOT/usr/share/man/man1 &&
default_install &&
install -m 755 $SOURCE_DIRECTORY/util/texi2html $INSTALL_ROOT/usr/bin/