diff options
| author | Gerald Combs <gerald@wireshark.org> | 2023-03-02 14:26:23 -0800 |
|---|---|---|
| committer | Gerald Combs <gerald@wireshark.org> | 2023-03-02 14:26:48 -0800 |
| commit | ceb5a2d55b30624f9ad22358990cdecf7a7aa9af (patch) | |
| tree | 1d3a9e29c86981f35215e8809db16797f053c44b /tools | |
| parent | 224d8dba97cb63b6096bfb6b9fe19c7c52679c31 (diff) | |
Tools: Fix the docinfo paths in make-version.py
[skip ci]
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/make-version.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/make-version.py b/tools/make-version.py index 1b5ff1a5a8..375c3c8361 100755 --- a/tools/make-version.py +++ b/tools/make-version.py @@ -123,8 +123,8 @@ def update_attributes_asciidoc(src_dir, repo_data): def update_docinfo_asciidoc(src_dir, repo_data): doc_paths = [] - doc_paths += [os.path.join(src_dir, 'docbook', 'developer-guide-docinfo.xml')] - doc_paths += [os.path.join(src_dir, 'docbook', 'user-guide-docinfo.xml')] + doc_paths += [os.path.join(src_dir, 'docbook', 'wsdg_src', 'developer-guide-docinfo.xml')] + doc_paths += [os.path.join(src_dir, 'docbook', 'wsug_src', 'user-guide-docinfo.xml')] for doc_path in doc_paths: with open(doc_path, encoding='utf-8') as fh: |