#!/bin/sh

set -e
#
# clean up old /usr/doc files if they exist
#
if [ -d /usr/doc/example/seesat5 ]; then
   -rm /usr/doc/example/seesat5/*
   rmdir /usr/doc/example/seesat5
   rmdir /usr/doc/example
fi


exit 0
