From 81d0983e98cffcfebd2b0441d131abf3627d2059 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Fri, 10 Mar 2023 13:31:17 +0100
Subject: [PATCH] Uninstall make target no longer depends on all (#208)

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index ddf012f4..4629c991 100644
--- a/Makefile
+++ b/Makefile
@@ -43,13 +43,12 @@ install: all
 	+make -C extraction install
 .PHONY: install
 
-uninstall: all
+uninstall:
 	+make -C utils uninstall
 	+make -C execution uninstall
 	+make -C embedding uninstall
 	+make -C typed-extraction uninstall
 	+make -C extraction uninstall
-.PHONY: uninstall
 
 test-extraction:
 	+make -C extraction test-extraction
@@ -151,6 +150,7 @@ html: all
 		-R examples/boardroomVoting ConCert.Examples.BoardroomVoting \
 		-R examples/counter ConCert.Examples.Counter \
 		-R examples/crowdfunding ConCert.Examples.Crowdfunding \
+		-R examples/piggybank ConCert.Examples.PiggyBank \
 		-d docs `find . -type f \( -wholename "*theories/*" -o -wholename "*examples/*" -o -wholename "*extraction/*" -o -wholename "*test/*" \) -name "*.v" ! -name "AllTests.v" ! -wholename "./_opam/*"`
 	cp extra/resources/coqdocjs/*.js docs
 	cp extra/resources/coqdocjs/*.css docs