From c1e0f9369efe096bef6041d276a8c06f566e795c Mon Sep 17 00:00:00 2001 From: chintu3536 Date: Fri, 9 Oct 2020 09:51:32 +0530 Subject: Removed helper script file [skip-ci] --- SphinxDocs/source/Manual/Warnings_script.py | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 SphinxDocs/source/Manual/Warnings_script.py diff --git a/SphinxDocs/source/Manual/Warnings_script.py b/SphinxDocs/source/Manual/Warnings_script.py deleted file mode 100644 index 8ad9e54cc..000000000 --- a/SphinxDocs/source/Manual/Warnings_script.py +++ /dev/null @@ -1,17 +0,0 @@ -import re - -def makeBold(s): - ret=s.group() - print(ret) - return "**"+ret+"**" - -with open('Warnings.rst', 'r') as f: - lines=f.readlines() - -with open('Warnings.rst', 'w') as f: - for line in lines: - prev_line=line - line=re.sub(r'[0-9]{3}\.', makeBold, line) - if prev_line!=line: - print(line) - f.write(line) \ No newline at end of file -- cgit v1.2.1