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