Changeset 98897 in vbox for trunk/doc/manual/correct_references.py
- Timestamp:
- Mar 9, 2023 5:39:48 PM (20 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/doc/manual/correct_references.py
r98896 r98897 100 100 if id not in xref_dictionary: 101 101 xref_dictionary[id] = os.path.basename(file) 102 print("%s %s" % (id, os.path.basename(file)))103 102 else: 104 103 logging.warning('Non unique topic/section id %s in file %s. This is already found in %s' … … 136 135 file_handle.write("".join(file_content)) 137 136 file_handle.close() 137 138 138 if __name__ == "__main__": 139 139 main()
Note:
See TracChangeset
for help on using the changeset viewer.