contrib: fix doc stashing

contrib/ci.inria.fr/Jenkinsfile-basic

@@ -17,11 +17,10 @@ pipeline
 					script
 					{
 					       env.tarballgz = sh (script: 'ls build/*.tar.gz', returnStdout: true).trim()
-					       env.doc = sh (script: 'ls build/doc/doxygen/*.pdf', returnStdout: true).trim()
 					}
 					stash includes: "${env.tarballgz}", name: 'tarballgz'
-					stash includes: "${env.doc}", name: 'doc'
-					//archiveArtifacts artifacts: "${env.tarballgz}", fingerprint: true, onlyIfSuccessful: true
+					stash includes: "starpu.pdf", name: 'doc'
+					archiveArtifacts artifacts: "${env.tarballgz},starpu.pdf", fingerprint: true, onlyIfSuccessful: true
 				}
 			}
 		}

contrib/ci.inria.fr/job-0-tarball.sh

@@ -9,5 +9,6 @@ mkdir build && cd build
 ../configure
 make V=1
 make dist
+cp doc/doxygen/starpu.pdf ..
 make clean