def setup(app):
app.add_config_value('Display_Trace_Units', False, True)
if use_adacore_parser:
app.add_lexer('ada', ada_pygments.AdaLexer())
def setup(app):
app.add_lexer('ada', ada_pygments.AdaLexer())
app.add_lexer('gpr', ada_pygments.GNATProjectLexer())
app.add_lexer('whyml', whyml_pygments.WhymlLexer())
app.add_lexer('Ocaml', pygments.lexers.ml.OcamlLexer())
def setup(app):
app.add_lexer('ada', ada_pygments.AdaLexer())
app.add_lexer('gpr', ada_pygments.GNATProjectLexer())
import time from liblkqllang import LKQLPygmentsLexer dir_path = os.path.dirname(os.path.realpath(__file__)) sys.path.append(dir_path) import ada_pygments import latex_elements # -- General configuration --------------------------------------------------- from sphinx.highlighting import lexers lexers['lkql'] = LKQLPygmentsLexer() lexers['ada'] = ada_pygments.AdaLexer() lexers['gpr'] = ada_pygments.GNATProjectLexer() # -- General configuration --------------------------------------------------- # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". extensions = ['lkql_doc_class'] templates_path = ['_templates'] source_suffix = '.rst' master_doc = 'gnatcheck_rm' # General information about the project. project = 'GNATcheck Reference Manual'
