Merge "Add a link to the static index of generated WWW pages"
This commit is contained in:
commit
2a2301fb52
|
@ -1150,6 +1150,10 @@ 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')):
|
||||
index_file.write('<br/>\n')
|
||||
index_file.write('<a href="www-index.html">list of generated '
|
||||
'WWW pages</a>\n')
|
||||
index_file.write('</body>\n'
|
||||
'</html>\n')
|
||||
index_file.close()
|
||||
|
|
Loading…
Reference in New Issue