[docs] updated js file attaching mechanism (#2287)

This commit is contained in:
Nikita Titov 2019-07-27 14:34:21 +03:00 коммит произвёл GitHub
Родитель 5d3a3ea47e
Коммит 5dc1507e1c
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 2 добавлений и 1 удалений

Просмотреть файл

@ -220,4 +220,5 @@ def setup(app):
app.connect("builder-inited", generate_doxygen_xml)
else:
app.add_directive('doxygenfile', IgnoredDirective)
app.add_javascript("js/script.js")
add_js_file = getattr(app, 'add_js_file', False) or app.add_javascript
add_js_file("js/script.js")