aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--wscript8
1 files changed, 8 insertions, 0 deletions
diff --git a/wscript b/wscript
index 88ff86c..c3708b0 100644
--- a/wscript
+++ b/wscript
@@ -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)