#!/bin/sh
#
echo "manually performs 'make cleanall'"
./clean
rm -rf *.pdf