-
- GitHub
- GitLab
- Bitbucket
-
By logging in you accept
our terms of service
and privacy policy
Sphinx extension for easy domain creation.
Homepage Repository PyPI Python
pip install sphinxcontrib-domaintools==0.3
This Sphinx extension provides a tool for easy sphinx domain creation.
pip install sphinxcontrib-domaintools
In this example there is created a simple domain for GNU Make:
from sphinxcontrib.domaintools import custom_domain
def setup(app):
app.add_domain(custom_domain('GnuMakeDomain',
name = 'make',
label = "GNU Make",
elements = dict(
target = dict(
objname = "Make Target",
indextemplate = "pair: %s; Make Target",
),
var = dict(
objname = "Make Variable",
indextemplate = "pair: %s; Make Variable"
),
)))
Complete example you find in `sphinxcontrib.makedomain`_ package.
A more complex example you can find in sphinxcontrib-cmakedomain package.
New BSD License.
The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.
Learn more →Something wrong with this page? Make a suggestion
Export .ABOUT file for this package
Last synced: 2023-12-02 01:26:46 UTC
Login to resync this project