#!/bin/sh

set -e

if [ -d /usr/doc/example/seesat5 ]; then
   -rm /usr/doc/example/seesat5/*
   rmdir /usr/doc/example/seesat5
   rmdir /usr/doc/example
fi

exit 0
