From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 31 Jan 2014 09:51:20 +0000 (+0100)
Subject: The Debian package is actually libsimgrid-dev.
X-Git-Tag: v3_11_beta~97
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/872c21043868b5a00b1ebaccc09f202bea0911b1

The Debian package is actually libsimgrid-dev.
---

diff --git a/doc/doxygen/introduction.doc b/doc/doxygen/introduction.doc
index e0915380fc..0851aff91b 100644
--- a/doc/doxygen/introduction.doc
+++ b/doc/doxygen/introduction.doc
@@ -105,19 +105,10 @@ available on the [online documentation][fn:4] and in the tutorials:
 
 ## Installing SimGrid
 
-    sudo apt-get install simgrid   
-    
-This tutorial requires simgrid 3.8 at last so you may need to get
-the [debian package](http://packages.debian.org/unstable/main/simgrid). Here is a shortcut:
-
-- AMD64: http://ftp.de.debian.org/debian/pool/main/s/simgrid/simgrid_3.8.1-2_amd64.deb
-- i386: http://ftp.de.debian.org/debian/pool/main/s/simgrid/simgrid_3.8.1-2_i386.deb
-
-Then
+    sudo apt-get install libsimgrid-dev
 
-~~~~{.sh}
-sudo dpkg -i simgrid_3.8*.deb
-~~~~
+This tutorial requires simgrid 3.8 at least so you may need to get
+the [debian packages](http://packages.debian.org/libsimgrid-dev).
 
 # Recommended Steps