diff options
| author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-05 00:49:56 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 18:50:44 +0100 |
| commit | d9a352be388e8f1b88c87af3240816f4381ec3fc (patch) | |
| tree | 4a67880ccc606dce258072cc1b2b01bc78c1687e | |
| parent | 2f92626e52fd6496c426e8c10c631c4f8b589c12 (diff) | |
| download | ghdl-d9a352be388e8f1b88c87af3240816f4381ec3fc.tar.gz ghdl-d9a352be388e8f1b88c87af3240816f4381ec3fc.tar.bz2 ghdl-d9a352be388e8f1b88c87af3240816f4381ec3fc.zip | |
Tiny modifications.
| -rw-r--r-- | doc/conf.py | 6 | ||||
| -rw-r--r-- | pyGHDL/cli/lsp.py | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/conf.py b/doc/conf.py index 7eaf6c9e1..20b75ff6e 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -49,8 +49,8 @@ master_doc = 'index' # The suffix(es) of source filenames. source_suffix = { '.rst': 'restructuredtext', - # '.txt': 'markdown', - '.md': 'markdown', +# '.txt': 'markdown', +# '.md': 'markdown', } # Add any paths that contain templates here, relative to this directory. @@ -184,7 +184,7 @@ extensions = [ 'btd.sphinx.inheritance_diagram', # Other extensions - 'recommonmark', +# 'recommonmark', 'exec', # 'DocumentMember', 'sphinx_fontawesome', diff --git a/pyGHDL/cli/lsp.py b/pyGHDL/cli/lsp.py index 3245bbfa2..d81ba863b 100644 --- a/pyGHDL/cli/lsp.py +++ b/pyGHDL/cli/lsp.py @@ -73,7 +73,7 @@ def _generateCLIParser() -> ArgumentParser: parser.add_argument( "--log-file", help="Redirect logs to the given file instead of stderr" ) - parser.add_argument("--trace-file", help="Save RPC data to FILE.in and FILE.out (overrides :env:`GHDL_LS_TRACE`)") + parser.add_argument("--trace-file", help="Save RPC data to FILE.in and FILE.out (overrides :envvar:`GHDL_LS_TRACE`)") parser.add_argument("--input", "-i", help="Read request from file") parser.add_argument( "--disp-config", |