From 3235ac3c15d975a74c48a2e45b72568603a71f96 Mon Sep 17 00:00:00 2001 From: Aaron Markham Date: Tue, 27 Feb 2018 17:49:12 +0000 Subject: [PATCH] workaround for install page display issue --- docs/build_version_doc/AddVersion.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/build_version_doc/AddVersion.py b/docs/build_version_doc/AddVersion.py index 2c9ee22bf42e..c4d088a4b0f4 100755 --- a/docs/build_version_doc/AddVersion.py +++ b/docs/build_version_doc/AddVersion.py @@ -57,6 +57,9 @@ for name in files: if not name.endswith('.html'): continue + if 'install' in path: + print("Skipping this path: {}".format(path)) + continue with open(os.path.join(path, name), 'r') as html_file: content = bs(html_file, 'html.parser') navbar = content.find(id="main-nav") @@ -74,7 +77,7 @@ outstr = str(content).replace('<', '<').replace('>', '>') # Fix link if args.current_version == tag_list[0]: - print("Fixing" + os.path.join(path, name)) + print("Fixing " + os.path.join(path, name)) outstr = outstr.replace('https://mxnet.io', 'https://mxnet.incubator.apache.org') outstr = outstr.replace('http://mxnet.io', 'https://mxnet.incubator.apache.org') else: