diff options
Diffstat (limited to 'gemini.disco_stu/build.sh')
| -rw-r--r-- | gemini.disco_stu/build.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gemini.disco_stu/build.sh b/gemini.disco_stu/build.sh index 46308bd..ee4a3eb 100644 --- a/gemini.disco_stu/build.sh +++ b/gemini.disco_stu/build.sh @@ -1,4 +1,6 @@ (cd doc/ && make html && make latexpdf) || exit 1 -python setup.py install +python setup.py install || exit 1 + +cp -p LICENSE ${PREFIX}/share/disco_stu/ |