diff options
| -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) |