#!/bin/sh
# remove MGP-generated HTML and JPG files to save disk space from older
# versions of talks

DIR=`pwd`
DIR=`basename "$DIR"`

if [ "$DIR" != "html" -a "$DIR" != "html_en" -a "$DIR" != "html_de" ] ; then
   echo "This directory has an unsual name ..."
   echo "Do not remove anything."
   exit
fi

rm -f mgp*.jpg mgp*.html