diff options
Diffstat (limited to 'gemini.disco_stu/build.sh')
| -rw-r--r-- | gemini.disco_stu/build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gemini.disco_stu/build.sh b/gemini.disco_stu/build.sh index 0b6fbde..46308bd 100644 --- a/gemini.disco_stu/build.sh +++ b/gemini.disco_stu/build.sh @@ -1,2 +1,4 @@ +(cd doc/ && make html && make latexpdf) || exit 1 + python setup.py install |