liborjelinek / domaintools

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Domain Tools

This Sphinx extension provides a tool for easy sphinx domain creation.

Installation

pip install sphinxcontrib-domaintools

Usage

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.

Reference

License

New BSD License.

Author

Kay-Uwe (Kiwi) Lorenz (http://quelltexter.org)

About

License:Other


Languages

Language:Python 100.0%