Loading tools/build.sh +0 −1 Original line number Diff line number Diff line Loading @@ -46,7 +46,6 @@ sed -i "2s/.*/MAX_VERSION=$MAX_VERSION/g" $RELEASE_FOLDER/tools/max.sh echo "MaX "$MAX_VERSION > $RELEASE_FOLDER/VERSION #gets and builds documentation mkdir git clone git@git.unicaen.fr:pdn-certic/max-documentation.git cd max-documentation Loading Loading
tools/build.sh +0 −1 Original line number Diff line number Diff line Loading @@ -46,7 +46,6 @@ sed -i "2s/.*/MAX_VERSION=$MAX_VERSION/g" $RELEASE_FOLDER/tools/max.sh echo "MaX "$MAX_VERSION > $RELEASE_FOLDER/VERSION #gets and builds documentation mkdir git clone git@git.unicaen.fr:pdn-certic/max-documentation.git cd max-documentation Loading