diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/luapplib/doc/_build/html/_static/documentation_options.js')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/luapplib/doc/_build/html/_static/documentation_options.js | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Build/source/texk/web2c/luatexdir/luapplib/doc/_build/html/_static/documentation_options.js b/Build/source/texk/web2c/luatexdir/luapplib/doc/_build/html/_static/documentation_options.js deleted file mode 100644 index bee34fe6e64..00000000000 --- a/Build/source/texk/web2c/luatexdir/luapplib/doc/_build/html/_static/documentation_options.js +++ /dev/null @@ -1,10 +0,0 @@ -var DOCUMENTATION_OPTIONS = { - URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: '0.1', - LANGUAGE: 'None', - COLLAPSE_INDEX: false, - FILE_SUFFIX: '.html', - HAS_SOURCE: true, - SOURCELINK_SUFFIX: '.txt', - NAVIGATION_WITH_KEYS: false, -};
\ No newline at end of file |