diff options
Diffstat (limited to 'ranlipuninstall')
-rwxr-xr-x | ranlipuninstall | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ranlipuninstall b/ranlipuninstall new file mode 100755 index 0000000..40c52eb --- /dev/null +++ b/ranlipuninstall @@ -0,0 +1,16 @@ +#!/bin/sh + +#run make uninstall and then clean +if [ -f Makefile ] +then echo "Uninstalling liblip" + make uninstall + make clean +else echo "makefile not found... might have to uninstall manually!" +fi + +# remove the document directory. + +DOCS_DIR=`cat docs_dir` + +echo "rm -rf $DOCS_DIR" +rm -rf $DOCS_DIR |