mirror of https://github.com/CGAL/cgal
Fix an error with the current working directory
Without that fix, the examples/ and include/ were not extracted to the right directory.
This commit is contained in:
parent
8120651f6c
commit
4b21767b15
|
|
@ -58,10 +58,10 @@ pushd "$DEST_DIR/doc_html"
|
||||||
zip -r ../cgal_manual.zip cgal_manual
|
zip -r ../cgal_manual.zip cgal_manual
|
||||||
popd
|
popd
|
||||||
|
|
||||||
|
pushd "$DEST_DIR
|
||||||
printf "Untar examples/ and include/ for rsync to the server\n"
|
printf "Untar examples/ and include/ for rsync to the server\n"
|
||||||
tar xf "$DEST_DIR/${PUBLIC_RELEASE_NAME}.tar.gz" --strip-components 1 "${PUBLIC_RELEASE_NAME}"/examples "${PUBLIC_RELEASE_NAME}"/include -C "$DEST_DIR"
|
tar xf "$DEST_DIR/${PUBLIC_RELEASE_NAME}.tar.gz" --strip-components 1 "${PUBLIC_RELEASE_NAME}"/examples "${PUBLIC_RELEASE_NAME}"/include -C "$DEST_DIR"
|
||||||
|
|
||||||
pushd "${DEST_DIR}"
|
|
||||||
printf "Compute md5sum.txt..."
|
printf "Compute md5sum.txt..."
|
||||||
md5sum *.^txt > md5sum.txt
|
md5sum *.^txt > md5sum.txt
|
||||||
popd
|
popd
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue