diff options
author | Bastien Nocera <hadess@hadess.net> | 2019-11-13 12:13:47 +0100 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2019-11-13 12:13:47 +0100 |
commit | 4e10b4c648bb965d8d17540a7b6d78776e97ebba (patch) | |
tree | 007688168114afba13545b28607011276a67a071 /web-export | |
parent | 1fa8d13e86768e3e54ae06819f6c7b9609632c56 (diff) |
web-export: Add missing version in URL for older specs
Older specs linked to name-of-spec/ rather than name-of-spec/version/
Closes: #50
Diffstat (limited to 'web-export')
-rwxr-xr-x | web-export/update.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web-export/update.py b/web-export/update.py index a4f11d5..7078f95 100755 --- a/web-export/update.py +++ b/web-export/update.py @@ -331,7 +331,7 @@ for line in lines: latests.append((spec.spec_dir, spec.basename_no_ext)) spec.latestize(index_fd) else: - index_fd.write(' - [version %s](%s)\n' % (version, spec.spec_dir)) + index_fd.write(' - [version %s](%s/%s)\n' % (version, spec.spec_dir, spec.version)) target_dir = os.path.join(public_dir, spec.spec_dir) src_dir = spec.spec_dir |