Revision 15e5251e3e2e5ec782af6d121a0b0bf5e1336617 authored by Mohamed Barakat on 11 December 2017, 10:10:01 UTC, committed by Mohamed Barakat on 11 December 2017, 10:33:27 UTC
1 parent 7504386
Raw File
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

for i in ${packages}; do
  cp gh-pages/${i}/_data/package.yml gh-pages/_data/package${i}.yml
done

echo "Please push website now"

exit 0
back to top