Revision c670d162c3c6fd0b856a46734e2e1fe9e21dcbb7 authored by Mohamed Barakat on 06 October 2016, 18:25:09 UTC, committed by Mohamed Barakat on 06 October 2016, 18:25:09 UTC
1 parent b1d7e34
make_dist_for_homalg.sh
#/bin/bash
packages="4ti2Interface ExamplesForHomalg GaussForHomalg GradedModules homalg IO_ForHomalg MatricesForHomalg PolymakeInterface SCO ToricVarieties Convex Gauss GradedRingForHomalg HomalgToCAS LocalizeRingForHomalg Modules RingsForHomalg ToolsForHomalg"
base_dir="$PWD"
for i in ${packages}; do
./release --srcdir ${base_dir}/${i} --webdir ${base_dir}/gh-pages/${i} --update-file ${base_dir}/gh-pages/update.g
done
echo "Please push website now"
exit 0
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...