Browse Source

It's isfile

It's os.path.isfile instead of is_file.

Change-Id: Ie68e88d4b8a310382795c727ff9824289cbcc3b9
changes/25/114525/1 0.18
Andreas Jaeger 7 years ago
parent
commit
f8d8886cc0
  1. 2
      os_doc_tools/doctest.py

2
os_doc_tools/doctest.py

@ -1150,7 +1150,7 @@ def generate_index_file():
(path, f, f))
index_file.write('<br/>\n')
if os.path.is_file(os.path.join(get_publish_path(), 'www-index.html')):
if os.path.isfile(os.path.join(get_publish_path(), 'www-index.html')):
index_file.write('<br/>\n')
index_file.write('<a href="www-index.html">list of generated '
'WWW pages</a>\n')

Loading…
Cancel
Save