#!/bin/sh
#
# It removes files from previous versions not needed anymore
#
rm -f @@pref@@/info/infview.inf
rm -f @@pref@@/info/infview.info


