diff options
| author | bringert <unknown> | 2005-06-21 18:55:32 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-06-21 18:55:32 +0000 |
| commit | 50f52aa183c7bf8e35dce08804a99910f26aedfd (patch) | |
| tree | 4b02ab3bd9e8f5ca13e597b131046e82def8dae9 /src | |
| parent | 7d32e5b39042a9a79991a2394bf9c6c31d087606 (diff) | |
Delete GF_DATA_DIR in binary dist uninstall.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.binary | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.binary b/src/Makefile.binary index 7c0f0fe1b..0e556eba4 100644 --- a/src/Makefile.binary +++ b/src/Makefile.binary @@ -14,3 +14,4 @@ uninstall: -rm -f $(bindir)/gf$(EXEEXT) $(bindir)/gfdoc$(EXEEXT) $(bindir)/jgf $(bindir)/gfeditor -rm -f $(GF_DATA_DIR)/gf-java.jar -rm -f $(GF_DATA_DIR)/gfeditor.jar + -rmdir $(INSTALL) -d $(GF_DATA_DIR)
\ No newline at end of file |