1 2 3 4 5 6 7
#!/bin/sh -e basedir="docs/manual" echo "Cleaning $basedir..." if [ -d $basedir ]; then rm -Rf $basedir; fi echo "Done."