diff options
| author | Vincent Untz <vuntz@gnome.org> | 2012-01-25 09:22:35 +0100 |
|---|---|---|
| committer | Vincent Untz <vuntz@gnome.org> | 2012-01-25 09:22:35 +0100 |
| commit | 9f7664fc3a6e0f55ee2eb49d14874ec9f0603d7e (patch) | |
| tree | 09d869330818faab9d9c30d22cc12ca7111c6187 | |
| parent | b8adc0518bf4a38686f194a3e1b5059311ed78db (diff) | |
| download | xdg-specs-9f7664fc3a6e0f55ee2eb49d14874ec9f0603d7e.tar.xz | |
web-export: Fix latest html links to have latest in the filename
| -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 1f43676..a84cffc 100755 --- a/web-export/update.py +++ b/web-export/update.py @@ -198,7 +198,7 @@ class SpecObject(): if self.ext == '.xml': # One-chunk HTML - html_path_latest = os.path.join(self.spec_dir, '%s%s' % (self.basename_no_ext, '.html')) + html_path_latest = os.path.join(self.spec_dir, '%s-latest%s' % (self.basename_no_ext, '.html')) if os.path.exists(html_path_latest): os.unlink(html_path_latest) |