From 12e269e7911c895ae54abf2c270dfa0c154423a9 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 29 Jan 2019 21:48:11 +0530 Subject: [PATCH] Make the currently released version available on the website --- publish.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/publish.py b/publish.py index 668853bd9..526d2687c 100755 --- a/publish.py +++ b/publish.py @@ -66,6 +66,8 @@ def run_website(args): if os.path.exists(publish_dir): shutil.rmtree(publish_dir) shutil.copytree(os.path.join(docs_dir, '_build', 'html'), publish_dir) + with open(os.path.join(publish_dir, 'current-version.txt'), 'w') as f: + f.write(version) shutil.copy2(os.path.join(docs_dir, 'installer.sh'), publish_dir) installer = os.path.join(docs_dir, 'installer.py') subprocess.check_call([