From d6dd94c63252ace898d9a60a539c7ab14d69f0ea Mon Sep 17 00:00:00 2001
From: tomsmeding <tom.smeding@gmail.com>
Date: Sun, 9 Oct 2016 14:09:15 +0200
Subject: Fix Makefile; remove `envelope`...

---
 envelope/Makefile |  10 +++++-----
 envelope/envelope | Bin 116616 -> 0 bytes
 2 files changed, 5 insertions(+), 5 deletions(-)
 delete mode 100755 envelope/envelope

diff --git a/envelope/Makefile b/envelope/Makefile
index 19e92ed..64cbe4f 100644
--- a/envelope/Makefile
+++ b/envelope/Makefile
@@ -13,12 +13,9 @@ endif
 BIN = envelope
 
 
-.PHONY: all clean remake makelib
+.PHONY: all clean remake
 
-makelib:
-	make -C ..
-
-all: makelib $(BIN)
+all: $(BIN)
 
 clean:
 	rm -rf $(BIN) *.o *.dSYM
@@ -26,6 +23,9 @@ clean:
 remake: clean all
 
 
+../cryptolib.a:
+	make -C .. cryptolib.a
+
 $(BIN): $(patsubst %.cpp,%.o,$(wildcard *.cpp)) ../cryptolib.a
 	$(CXX) -o $@ $^ $(LDFLAGS)
 
diff --git a/envelope/envelope b/envelope/envelope
deleted file mode 100755
index 5582c01..0000000
Binary files a/envelope/envelope and /dev/null differ
-- 
cgit v1.2.3-54-g00ecf