diff options
| -rw-r--r-- | wscript | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -149,5 +149,13 @@ def build(bld): # Man pages bld.install_files('${MANDIR}/man1', bld.path.ant_glob('doc/*.1')) +def upload_docs(ctx): + import glob + import os + for page in glob.glob('doc/*.[1-8]'): + os.system('mkdir -p build/doc') + os.system('soelim %s | pre-grohtml troff -man -wall -Thtml | post-grohtml > build/%s.html' % (page, page)) + os.system('rsync -avz --delete -e ssh build/%s.html drobilla@drobilla.net:~/drobilla.net/man/' % page) + def lint(ctx): subprocess.call('cpplint.py --filter=+whitespace/comments,-whitespace/tab,-whitespace/braces,-whitespace/labels,-build/header_guard,-readability/casting,-readability/todo,-build/include,-runtime/sizeof src/* jalv/*', shell=True) |