#!/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

if [ "$1" = "configure" ]; then
 if [ -d /usr/doc -a ! -e /usr/doc/seesat5 -a -d /usr/share/doc/seesat5 ]; then
  ln -sf ../share/doc/seesat5 /usr/doc/seesat5
 fi
fi

exit 0
