diff --git a/xtandempipeline/doc/xtandem_pipeline.pdf b/xtandempipeline/doc/xtandem_pipeline.pdf index 3b14519de89e0d3da52a24dcf3fec5879d23b7f0..5942e1cc4ac654799911c8da289109760c5d1dc8 100644 Binary files a/xtandempipeline/doc/xtandem_pipeline.pdf and b/xtandempipeline/doc/xtandem_pipeline.pdf differ diff --git a/xtandempipeline/doc/xtandem_pipeline.tex b/xtandempipeline/doc/xtandem_pipeline.tex index ae822af8cbf77e7630420f029508891057d006bf..68058d97882a56fd6530826f6f37a5095e94b876 100644 --- a/xtandempipeline/doc/xtandem_pipeline.tex +++ b/xtandempipeline/doc/xtandem_pipeline.tex @@ -69,10 +69,10 @@ This program is distributed in the hope that it will be useful, but WITHOUT ANY \subsection{Requirements} $\X$ works on all platforms (Linux, Windows and Mac). Java 1.6 must be installed (it can be found : -\href{https://cds.sun.com/is-bin/INTERSHOP.enfinity/WFS/CDS-CDS_Developer-Site/en_US/-/USD/ViewProductDetail-Start?ProductRef=jre-6u14-oth-JPR@CDS-CDS_Developer}{here}). +\href{http://java.com/fr/download/index.jsp}{here}). \subsection{Third party softwares for Windows and Mac} -Download the X!Tandem executable from the \href{ftp://ftp.thegpm.org/projects/tandem/binaries/}{GPM site}. +Download the X!Tandem executable from the \href{ftp://ftp.thegpm.org/projects/tandem/binary/}{GPM site}. \subsection{Third party softwares for Linux} \subsubsection*{Ubuntu} diff --git a/xtandempipeline/src/fr/inra/pappso/xtandempipeline/ui/swt/Path_configuration.java b/xtandempipeline/src/fr/inra/pappso/xtandempipeline/ui/swt/Path_configuration.java index f17d87f13186321efb0f1e29efd260541aabaa9c..300ac9e4c87e99f9875247b576b45d072007fd0a 100644 --- a/xtandempipeline/src/fr/inra/pappso/xtandempipeline/ui/swt/Path_configuration.java +++ b/xtandempipeline/src/fr/inra/pappso/xtandempipeline/ui/swt/Path_configuration.java @@ -215,7 +215,7 @@ public class Path_configuration { } public void download_xtandem_software() { - String u = "ftp://ftp.thegpm.org/projects/tandem/binaries/"; + String u = "ftp://ftp.thegpm.org/projects/tandem/binary/"; if (Desktop.isDesktopSupported()) { // On récupère l'instance du desktop : Desktop desktop = Desktop.getDesktop();