diff options
Diffstat (limited to 'writers/s5_html/__init__.py')
| -rw-r--r-- | writers/s5_html/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/writers/s5_html/__init__.py b/writers/s5_html/__init__.py index 486c03f4a..73a1ec66f 100644 --- a/writers/s5_html/__init__.py +++ b/writers/s5_html/__init__.py @@ -251,7 +251,7 @@ class S5HTMLTranslator(html4css1.HTMLTranslator): """ source = os.path.join(source_dir, name) dest = os.path.join(dest_dir, name) - if self.theme_files_copied.has_key(dest): + if dest in self.theme_files_copied: return 1 else: self.theme_files_copied[dest] = 1 |