doc: remove references to gna.org (dead), fix minor issues.

5 files changed, 7 insertions, 12 deletions

diff --git a/doc/contribute.rst b/doc/contribute.rst
index eaccd1560..3313c85a8 100644
--- a/doc/contribute.rst
+++ b/doc/contribute.rst
@@ -18,13 +18,11 @@ if someone already told us about it. You might find a solution there. To get a b
 :ref:`Roadmap <CHANGE>`.
 
 If you found no information on your topic, please, report so that we are aware! You can reach us through various ways:
-|SHIELD:gitter|, open a |SHIELD:issues-new| and/or subscribe to |SHIELD:mailing|
+|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|.
 
-   Therefore it is suggested to use the channels listed above instead of `gna.org/bugs/?=group=ghdl <https://gna.org/bugs/?group=ghdl>`_ or `sourceforge.net/p/ghdl-updates/tickets <https://sourceforge.net/p/ghdl-updates/tickets/>`_ . Still, these are checked from time to time.
-
 .. TIP::
    `How To Ask Questions The Smart Way <www.catb.org/~esr/faqs/smart-questions.html>`_
 
@@ -68,9 +66,9 @@ assign developers to them. You can track the issue’s state and see how it’s
 Requesting enhancements
 =======================
 
-|SHIELD:issues-new| |SHIELD:gitter| |SHIELD:mailing|
+|SHIELD:issues-new| |SHIELD:gitter|
 
-All enhancements and feature requests are welcome. Please `open a new issue <https://github.com/tgingold/ghdl/issues/new>`_ to report any, so you can track the request's status and implementation. Depending on the complexity of the request, you may want to `chat on Gitter <https://gitter.im/ghdl/ghdl1>`_, to polish it before opening an issue. If you don't have a `GitHub <https://github.com>`_ user account, you can reach the developers through the `mailing-list <https://mail.gna.org/listinfo/ghdl-discuss/>`_ .
+All enhancements and feature requests are welcome. Please `open a new issue <https://github.com/tgingold/ghdl/issues/new>`_ to report any, so you can track the request's status and implementation. Depending on the complexity of the request, you may want to `chat on Gitter <https://gitter.im/ghdl/ghdl1>`_, to polish it before opening an issue.
 
 Improving the documentation
 ===========================
diff --git a/doc/licenses.rst b/doc/licenses.rst
index a55d62093..106325dde 100644
--- a/doc/licenses.rst
+++ b/doc/licenses.rst
@@ -70,7 +70,7 @@ van Rantwijk, Joris        Debian packaging
 
 Only those who made substantial contributions are shown in the table above, but many others contributed with minor patches. You can find a list at |SHIELD:contributors|
 
-With apologies to anyone who ought to be either on this table or in the GitHub contributor list, but isn't. Thanks also to all those who have reported bugs and support issues, and often patches and testcases to either `gna.org/bugs/?=group=ghdl <https://gna.org/bugs/?group=ghdl>`_ or `sourceforge.net/p/ghdl-updates/tickets <https://sourceforge.net/p/ghdl-updates/tickets/>`_ .
+With apologies to anyone who ought to be either on this table or in the GitHub contributor list, but isn't. Thanks also to all those who have reported bugs and support issues, and often patches and testcases to either the late gna! website or `sourceforge.net/p/ghdl-updates/tickets <https://sourceforge.net/p/ghdl-updates/tickets/>`_ .
 
 --------------------------------------------------------------------------------
 
diff --git a/doc/prolog.inc b/doc/prolog.inc
index a0c1f3bf8..0f74e33fe 100644
--- a/doc/prolog.inc
+++ b/doc/prolog.inc
@@ -1,4 +1,4 @@
-.. # preload commonly known graphical characters like ©
+.. # preload commonly known graphical characters like (c)
 .. include:: <isonum.txt>
 
 .. # define a hard kine break for HTML
diff --git a/doc/references/CodingStyle.rst b/doc/references/CodingStyle.rst
index ddecb6339..3c9b9f398 100644
--- a/doc/references/CodingStyle.rst
+++ b/doc/references/CodingStyle.rst
@@ -5,7 +5,7 @@ Coding Style
 
 Ada subset: use only a simple (VHDL like) subset of Ada: no tasking, no
 controlled types...  VHDL users should easily understand that subset.
-Allowed Ada93 features: the standard library, child packages.
+Allowed Ada95 features: the standard library, child packages.
 Use assertions.
 
 We try to follow the 'GNU Coding Standards' when possible: comments before
@@ -136,4 +136,4 @@ declaration).  Don't repeat the comment before the subprogram body.
         begin
 				
   If the initialization expression has a side effect (such as allocation), do
-  not use a constant.
\ No newline at end of file
+  not use a constant.
diff --git a/doc/shields.inc b/doc/shields.inc
index 50dc2c89f..69473ba6f 100644
--- a/doc/shields.inc
+++ b/doc/shields.inc
@@ -31,9 +31,6 @@
    :target: Licenses.html
    :alt: Creative Commons Attribution-ShareAlike 4.0
   
-.. |SHIELD:mailing| image:: https://img.shields.io/badge/mail.gna.org-ghdl--discuss-ff69b4.svg?style=flat
-   :target: https://mail.gna.org/listinfo/ghdl-discuss/
-  
 .. |SHIELD:gitter| image:: https://img.shields.io/gitter/room/ghdl1/Lobby.svg?colorB=4cb696
    :target: https://gitter.im/ghdl1/Lobby
    :alt: Talk to us on Gitter