diff --git a/dev/initdemo/documents_demo/custom/main.inc.php b/dev/initdemo/documents_demo/custom/main.inc.php deleted file mode 100644 index 37b615bbe52..00000000000 --- a/dev/initdemo/documents_demo/custom/main.inc.php +++ /dev/null @@ -1,3 +0,0 @@ - $fichtemp + + valret=$? + + case $valret in + 0) + rep=`cat $fichtemp`;; + 1) + exit;; + 255) + exit;; + esac + + echo "rep=$rep" + if [ "x$rep" = "xy" ]; then + echo rm -fr "$documentdir/*" + rm -fr $documentdir/* + fi + echo cp -pr $mydir/documents_demo/* "$documentdir/" cp -pr $mydir/documents_demo/* "$documentdir/" + + mkdir "$documentdir/doctemplates/" echo cp -pr $mydir/../../htdocs/install/doctemplates/* "$documentdir/doctemplates/" cp -pr $mydir/../../htdocs/install/doctemplates/* "$documentdir/doctemplates/" + + echo cp -pr $mydir/../../htdocs/install/medias/* "$documentdir/medias/image/" + cp -pr $mydir/../../htdocs/install/medias/* "$documentdir/medias/image/" + mkdir -p "$documentdir/ecm/Administrative documents" mkdir -p "$documentdir/ecm/Images" rm -f "$documentdir/doctemplates/"*/index.html