From b43c07f68bf7ee7d2d729a0299a41687d538ac44 Mon Sep 17 00:00:00 2001
From: James Turner <jturner@gemini.edu>
Date: Thu, 23 Feb 2017 11:48:32 -0300
Subject: Rename gemini.disco_stu to disco_stu, for consistency with the python
 package (until such time as we actually use a namespace package).

---
 gemini.disco_stu/build.sh | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 gemini.disco_stu/build.sh

(limited to 'gemini.disco_stu/build.sh')

diff --git a/gemini.disco_stu/build.sh b/gemini.disco_stu/build.sh
deleted file mode 100644
index ee4a3eb..0000000
--- a/gemini.disco_stu/build.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-(cd doc/ && make html && make latexpdf) || exit 1
-
-python setup.py install || exit 1
-
-cp -p LICENSE ${PREFIX}/share/disco_stu/
-
-- 
cgit