Home
last modified time | relevance | path

Searched full:dirhtml (Results 1 – 5 of 5) sorted by relevance

/petsc/doc/
H A Dupdate_htmlmap_links.py6 … """ Update manualpage links in an htmlmap file for use with Sphinx HTML builders html and dirhtml
12 if builder.name == "dirhtml":
H A Dconf.py216 if app.builder.name == 'dirhtml':
247 # The following two scripts are needed because the Sphinx html and dirhtml builds save the output…
249 # file.rst/md -> file/index.html with dirhtml and we want both to work correctly using relative l…
255 …for the root directory that needs to be constructed based on if the Sphinx build is html or dirhtml
269 …erarchy. The format of the directory location needs to be different for the Sphinx html and dirhtml
H A Dmakefile35 $(SPHINXBUILD) -b dirhtml "$(SOURCEDIR)" "$(BUILDDIR)" -T -E -j auto $(SPHINXOPTS)
/petsc/src/binding/petsc4py/docs/source/_templates/
H A Dlayout.html16 {%- if builder == 'dirhtml' %}
/petsc/doc/ext/
H A Dhtml5_petsc.py78 depending on if the Sphinx build is html or dirhtml