diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-12-15 06:28:02 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-12-18 06:06:51 +0100 |
commit | 458c028395b7cf22d150c1d2573c1ab559a238e2 (patch) | |
tree | 6181f1334cdd1b18f5afaee83ce9f0be5ae86982 /doc/contribute.rst | |
parent | 49987875ae8862fb94f451129233880760ed8fe4 (diff) | |
download | ghdl-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.rst | 2 |
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>`_ |