Merge branch '5.5.x-branch' into 5.6.x-branch

CGAL · Aug 28, 2024 · dc25703 · dc25703
2 parents b682c47 + 377e2f1
commit dc25703
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Scripts/developer_scripts/create_new_release b/Scripts/developer_scripts/create_new_release
@@ -323,6 +323,9 @@ if [ -n "$DO_PUBLIC" ]; then
     zip -q -r ${public_release_name}-library.zip ${public_release_name}
     mv ${public_release_name}*.tar.xz "${HTML_DIR}/${release_name}-public/"
     mv ${public_release_name}*.zip "${HTML_DIR}/${release_name}-public/"
+    if command -v sestatus >/dev/null 2>&1; then
+        sestatus && restorecon -R "${HTML_DIR}/${release_name}-public"
+    fi
     rm -f "$HTML_DIR/CGAL-last-public"
     ln -s "${release_name}-public" "$HTML_DIR/CGAL-last-public"
 fi