Add an uninstall rule

06354810 · Jacques-Pascal Deplaix · Jean-Christophe Filliâtre · abf380d6 · 06354810
Commit 06354810 authored May 07, 2014 by Jacques-Pascal Deplaix Committed by Jean-Christophe Filliâtre May 13, 2014
--- a/Makefile.in
+++ b/Makefile.in
@@ -288,6 +288,12 @@ endif

 install-all: install install-lib

+##################
+# Uninstallation
+##################
+
+uninstall: clean_old_install
+
 ##################
 # Why3 emacs mode
 ##################