diff options
| author | chintu3536 <teja3536mani@gmail.com> | 2020-10-09 09:51:32 +0530 |
|---|---|---|
| committer | chintu3536 <teja3536mani@gmail.com> | 2020-10-09 09:51:32 +0530 |
| commit | c1e0f9369efe096bef6041d276a8c06f566e795c (patch) | |
| tree | 439722a708c400e16f8b3e23cdae8189be8ebcc5 | |
| parent | f0f9853b6621ded6522531e67f1a627368999d51 (diff) | |
| download | swig-c1e0f9369efe096bef6041d276a8c06f566e795c.tar.gz | |
Removed helper script file [skip-ci]
| -rw-r--r-- | SphinxDocs/source/Manual/Warnings_script.py | 17 |
1 files changed, 0 insertions, 17 deletions
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 |