aboutsummaryrefslogtreecommitdiffstats
path: root/doc/contribute.rst
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2017-12-15 06:28:02 +0100
committerTristan Gingold <tgingold@free.fr>2017-12-18 06:06:51 +0100
commit458c028395b7cf22d150c1d2573c1ab559a238e2 (patch)
tree6181f1334cdd1b18f5afaee83ce9f0be5ae86982 /doc/contribute.rst
parent49987875ae8862fb94f451129233880760ed8fe4 (diff)
downloadghdl-458c028395b7cf22d150c1d2573c1ab559a238e2.tar.gz
ghdl-458c028395b7cf22d150c1d2573c1ab559a238e2.tar.bz2
ghdl-458c028395b7cf22d150c1d2573c1ab559a238e2.zip
doc: use long URL only in html, regenerate ghdl.texi
Diffstat (limited to 'doc/contribute.rst')
-rw-r--r--doc/contribute.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/contribute.rst b/doc/contribute.rst
index d79d1bf52..aeb502193 100644
--- a/doc/contribute.rst
+++ b/doc/contribute.rst
@@ -20,7 +20,7 @@ If you found no information on your topic, please, report so that we are aware!
|SHIELD:gitter| or open a |SHIELD:issues-new|.
.. HINT::
- Since the development of GHDL started fifteen years ago, multiple platforms have been used as a support for both distribution and getting feedback. However, the development is now centralized in |SHIELD:gh-logo|.
+ Since the development of GHDL started fifteen years ago, multiple platforms have been used as a support for both distribution and getting feedback. However, the development is now centralized in github.
.. TIP::
`How To Ask Questions The Smart Way <www.catb.org/~esr/faqs/smart-questions.html>`_