From 76a4d575ce07a045a2dc097433ec94ba35715b9f Mon Sep 17 00:00:00 2001
From: Navarrop <Pierre.Navarro@imag.fr>
Date: Mon, 14 Nov 2011 11:16:49 +0100
Subject: [PATCH] Add button for website.

---
 .gitignore               | 6 +++++-
 doc/footer.html.in       | 2 +-
 doc/install.doc          | 2 +-
 doxygen_postprocesser.pl | 2 +-
 4 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index 42403ade75..4c969750a7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,10 @@
+*.tag
+Doxyfile
+footer.html
+doc/html
 *.class
 simgrid.jar
-libSG_java.so
+libSG_java.so*
 build/
 *.dylib
 .project
diff --git a/doc/footer.html.in b/doc/footer.html.in
index 244d7ab41b..cbbd75e500 100644
--- a/doc/footer.html.in
+++ b/doc/footer.html.in
@@ -5,7 +5,7 @@
 <tr>
 <td align=left>
 <a href="index.html"><b>
-Back to the main Simgrid Documentation page</b></a>
+Back to the main Simgrid-Java Documentation page</b></a>
 </td>
 <td align=middle>
 <small>The version of Simgrid-java documented here is v@SIMGRID_JAVA_VERSION_MAJOR@.@SIMGRID_JAVA_VERSION_MINOR@.<br/>
diff --git a/doc/install.doc b/doc/install.doc
index 6ab47347ab..bfcae328db 100644
--- a/doc/install.doc
+++ b/doc/install.doc
@@ -3,7 +3,7 @@
 \section bindings_binding_java_install How to install Simgrid-java
 
 To use java with Simgrid you have to install some dependencies:
- \li Simgrid (see <a href="http://simgrid.gforge.inria.fr/3.7/doc/installSimgrid.html">install Simgrid</a>). Be sure having set the environment variable "SIMGRID_ROOT". 
+ \li Simgrid (see <a href="http://simgrid.gforge.inria.fr/simgrid/3.7/doc/installSimgrid.html">install Simgrid</a>). Be sure having set the environment variable "SIMGRID_ROOT". 
  \li Java packages: sun-java6-jdk and libgcj10-dev. If you cannot find the
 libgcj10-dev, try another version.
  
diff --git a/doxygen_postprocesser.pl b/doxygen_postprocesser.pl
index 4bd645969a..07e2dcc784 100755
--- a/doxygen_postprocesser.pl
+++ b/doxygen_postprocesser.pl
@@ -33,7 +33,7 @@ while (<FROM>) {
 		$tmp_buff .= $_;
 		$tmp_buff .= '      <li><a href="install.html"><span>Install SimGrid-Java</span></a></li>'."\n";
 		$tmp_buff .= '      <li><a href="javadoc/index.html"><span>Javadoc</span></a></li>'."\n";
-
+		$tmp_buff .= '      <li><a href="http://simgrid.gforge.inria.fr/"><span>Website</span></a></li>'."\n";
 		$tabs = 0;
 	
 		my $filename = $file;
-- 
2.20.1