diff options
Diffstat (limited to 'gemini.disco_stu/build.sh')
| -rw-r--r-- | gemini.disco_stu/build.sh | 6 |
1 files changed, 0 insertions, 6 deletions
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/ - |