From 1a18e33658645a81225c56b5d4f4a4b89434d301 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Tue, 25 Apr 2017 10:52:21 +0200
Subject: Remove bin/proofgeneral and Update Makefiles accordingly.

Closes ProofGeneral/PG#177
---
 Makefile.devel | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index bba2efef..b3b9d58d 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -443,6 +443,8 @@ rpmrelease: rpm
 ##     This requires sudo powers for mounting, and
 ##     (on Ubuntu), packages hfsplus and hfsprogs
 ##
+## Warning: the following line was removed below so Contents/MacOS'll be empty:
+##     mv $(NAME)/bin/proofgeneral Contents/MacOS;
 DMGBUILD=$(DISTBUILDIR)/dmg
 dmg:
 	rm -rf $(DMGBUILD)
@@ -455,7 +457,6 @@ dmg:
 	$(TAR) -xpzf $(DISTBUILDIR)/$(RELEASENAMETGZ); \
 	mkdir -p Contents/Resources; \
 	mkdir -p Contents/MacOS; \
-	mv $(NAME)/bin/proofgeneral Contents/MacOS; \
 	mv $(NAME)/* Contents/Resources; \
 	rm -rf $(NAME) $(RELEASENAME); \
 	mkdir $(NAME).app; \
-- 
cgit v1.2.3