diff --git a/Makefile b/Makefile index 4b920c6a39..fac218f8e7 100644 --- a/Makefile +++ b/Makefile @@ -17,4 +17,5 @@ translations : resources: ${PYTHON} resources.py - +manual: + make -C src/libprs500/manual clean html diff --git a/upload.py b/upload.py index e4271dbb80..5fde108a1a 100644 --- a/upload.py +++ b/upload.py @@ -116,9 +116,9 @@ def upload_user_manual(): cwd = os.getcwdu() os.chdir('src/libprs500/manual') try: - check_call('python make.py --validate') + check_call('make clean html') check_call('ssh castalia rm -rf %s/\\*'%USER_MANUAL) - check_call('scp -r build/* castalia:%s'%USER_MANUAL) + check_call('scp -r .build/* castalia:%s'%USER_MANUAL) finally: os.chdir(cwd)