Revision ab0debec0a366342a75593d2b332a46d89ae4d4a authored by Mohamed Barakat on 17 March 2017, 08:36:07 UTC, committed by Mohamed Barakat on 17 March 2017, 08:49:43 UTC
renamed:
* HomalgRelationsForLeftModule -> _HomalgRelationsForLeftModule
* HomalgRelationsForRightModule -> _HomalgRelationsForRightModule

declared and installed the one and two argment operations:
* HomalgRelationsForLeftModule
* HomalgRelationsForRightModule
using the renamed global functions
1 parent ce16fa7
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

echo "Please push website now"

exit 0
back to top