From 6917c9d26457333975da683e52b1f46770c5e86b Mon Sep 17 00:00:00 2001 From: Piotr Maslanka <piotr.maslanka@henrietta.com.pl> Date: Wed, 31 May 2017 21:40:21 +0200 Subject: [PATCH] . --- build.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/build.py b/build.py index 879db08..7a9562a 100644 --- a/build.py +++ b/build.py @@ -14,7 +14,10 @@ if __name__ == '__main__': header_bin = readin('src/header.md') footer_bin = readin('src/footer.md') - for lab_name in ('lab'+str(x) for x in [1,2,3,4,5,6]): + i = 1 + while os.path.exists('src/lab%s.md' % (i, )): + lab_name = 'lab%s' % (i, ) + i += 1 dist_lp, src_md, src_json = 'dist/' + lab_name, 'src/' + lab_name + '.md', 'src/'+lab_name+'.json' os.system('mkdir '+dist_lp) # Make directories -- GitLab