From 372cf5eadaae5c91792f6c4015273b801c543960 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Sat, 28 Nov 2015 17:27:39 +0100 Subject: [PATCH] enable editor mode for private modules only, for now --- publish.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publish.py b/publish.py index fa18155..00e04c5 100755 --- a/publish.py +++ b/publish.py @@ -75,7 +75,7 @@ def publish_mallard(module, branch, directory): page_files = [os.path.join(help_dir, x) for x in os.listdir(help_dir) if x.endswith('.page')] cmd = ['jhbuild', '-f', jhbuildrc, 'run', 'yelp-build', 'html', '-o', output_dir, '-x'] - if module.get('branch') == 'dev': + if module.get('branch') == 'dev' and module.get('private'): cmd.append('mallard_extra_dev.xsl') else: cmd.append('mallard_extra.xsl')