| #!/usr/bin/python3 | |
| # | |
| # Copyright 2020-2021 The Khronos Group Inc. | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # Script that adds href to <a> anchors | |
| import os,sys,re | |
| def genAnchorLinks(in_file, out_file): | |
| try: | |
| with open(in_file, 'r', encoding='utf8') as f: data = f.read() | |
| except FileNotFoundError: | |
| print('Error: File %s does not exist.' % in_file) | |
| sys.exit(2) | |
| data = re.sub( r'(<a )(id="(VUID\-[\w\-:]+)")(>)', '\g<1>\g<2> href="#\g<3>"\g<4>', data) | |
| with open(out_file, 'w', encoding='utf8') as f: data = f.write(data) | |
| if __name__ == '__main__': | |
| if len(sys.argv) != 3: | |
| print('Error: genanchorlinks.py requires two arguments.') | |
| print('Usage: genanchorlinks.py infile.html outfile.html') | |
| sys.exit(1) | |
| genAnchorLinks(sys.argv[1], sys.argv[2]) |