From 9a0f50989a13bbba79ec624c0acb94f2132382a7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Sun, 11 Aug 2013 23:23:40 +0200 Subject: [PATCH] publish in parent directory --- publish.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/publish.py b/publish.py index 0837a86..bd081f1 100755 --- a/publish.py +++ b/publish.py @@ -12,8 +12,8 @@ from django.conf import settings settings.configure() jhbuildrc = os.path.join(os.getcwd(), 'jhbuildrc') -checkouts_directory = os.path.join(os.getcwd(), 'src') -web_directory = os.path.join(os.getcwd(), 'web') +checkouts_directory = os.path.join(os.getcwd(), '..', 'src') +web_directory = os.path.join(os.getcwd(), '..', 'web') if not os.path.exists('jhbuild'): os.system('jhbuild -f jhbuildrc -m doceo.modules buildone itstool yelp-xsl yelp-tools')