Benjamin Drung b9b0c2462b doc: Exclude documentation_options.js from default theme ... `documentation_options.js` from the default theme sets the option `URL_ROOT` to: ``` document.getElementById("documentation_options").getAttribute('data-url_root') ``` This requires that the script element for `documentation_options.js` includes the tag `id="documentation_options"` and sets the `data-url_root` tag. Otherwise evaluating `URL_ROOT` will fail and building the documentation during the Debian package build will fail: ``` dh_sphinxdoc: error: DOCUMENTATION_OPTIONS does not define URL_ROOT ``` The variable `DOCUMENTATION_OPTIONS` is directly set `layout.html` and therefore `documentation_options.js` does not need to be included. So just exclude it. Signed-off-by: Benjamin Drung <benjamin.drung@ionos.com>		2023-12-10 16:23:20 -07:00
..
saltstack	doc: Exclude documentation_options.js from default theme	2023-12-10 16:23:20 -07:00
saltstack2	replace do with set _ =	2023-08-29 17:33:49 +01:00