mirror of https://github.com/CGAL/cgal
The file to extract was moved just a few line above!
This commit is contained in:
parent
65dd48a94c
commit
64763c41b0
|
|
@ -324,7 +324,7 @@ if [ -n "$DO_PUBLIC" ]; then
|
||||||
if docker version > /dev/null; then
|
if docker version > /dev/null; then
|
||||||
# Re-extract the full version of CGAL, with examples/, and doc_html/
|
# Re-extract the full version of CGAL, with examples/, and doc_html/
|
||||||
rm -rf ./${public_release_name}
|
rm -rf ./${public_release_name}
|
||||||
tar -xf ${public_release_name}.tar.xz
|
tar -xf "${HTML_DIR}/${release_name}-public/${public_release_name}.tar.xz"
|
||||||
# Build the Windows installer
|
# Build the Windows installer
|
||||||
docker pull cgal/cgal-nsis-dockerfile
|
docker pull cgal/cgal-nsis-dockerfile
|
||||||
docker create -v `realpath ${DESTINATION}/${public_release_name}`:/mnt/cgal_release:ro,z \
|
docker create -v `realpath ${DESTINATION}/${public_release_name}`:/mnt/cgal_release:ro,z \
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue