base = basename
if DOCTITLE in snippet.option_dict:
doctitle = base + '.doctitle'
translated_doctitle = doctitle + self.document_language
if os.path.exists (translated_doctitle):
base = basename
if DOCTITLE in snippet.option_dict:
doctitle = base + '.doctitle'
translated_doctitle = doctitle + self.document_language
if os.path.exists (translated_doctitle):