Fix dead links.

Not sure what to do with the remainging links to
pda.gforge.inria.fr / lists.gforge.inria.fr / gforge.inria.fr/tracker

[ci-skip]

diff --git a/docs/source/app_smpi.rst b/docs/source/app_smpi.rst
index 1a3a186..7e43c5d 100644 (file)
--- a/docs/source/app_smpi.rst
+++ b/docs/source/app_smpi.rst
@@ -458,7 +458,8 @@ can't be done, so algorithms have to be changed to use smpi version of
 the calls instead (MPI_Send will become smpi_mpi_send). Some functions
 may have different signatures than their MPI counterpart, please check
 the other algorithms or contact us using the `>SimGrid
-developers mailing list <http://lists.gforge.inria.fr/mailman/listinfo/simgrid-devel>`_.
+user mailing list <https://sympa.inria.fr/sympa/info/simgrid-community>`_,
+or on `>Mattermost <https://framateam.org/simgrid/channels/town-square>`_.
 
 Example: adding a "pair" version of the Alltoall collective.
 

diff --git a/examples/platforms/ns3-big-cluster.xml b/examples/platforms/ns3-big-cluster.xml
index 823f226..8fe6841 100644 (file)
--- a/examples/platforms/ns3-big-cluster.xml
+++ b/examples/platforms/ns3-big-cluster.xml
@@ -1,5 +1,5 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
+<!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
 <platform version="4.1">
   <zone id="AS0" routing="Floyd">