diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-11-12 05:50:04 +0000 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-11-12 06:50:04 +0100 |
commit | a16e1f8da63c68292703875c3abff7912572d376 (patch) | |
tree | 68f8e95ef1f435a821b81782330a43491cca31da /doc/using/CommandReference.rst | |
parent | 202a2b793474a2c6db7d9cb991e1a47935ef52a5 (diff) | |
download | ghdl-a16e1f8da63c68292703875c3abff7912572d376.tar.gz ghdl-a16e1f8da63c68292703875c3abff7912572d376.tar.bz2 ghdl-a16e1f8da63c68292703875c3abff7912572d376.zip |
doc: add '.. program:: ghdl' directive (#1017)
Diffstat (limited to 'doc/using/CommandReference.rst')
-rw-r--r-- | doc/using/CommandReference.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/using/CommandReference.rst b/doc/using/CommandReference.rst index d90f9334c..17ae4bc40 100644 --- a/doc/using/CommandReference.rst +++ b/doc/using/CommandReference.rst @@ -1,3 +1,4 @@ +.. program:: ghdl .. _REF:Command: Command Reference |