Skip to main content

Browse the archive

Revision 988556d3cb02429c1af91373f3a357bf8461eda5 authored by Mohamed Barakat on 15 March 2022, 14:08:59 UTC, committed by GitHub on 15 March 2022, 14:08:59 UTC 
Merge pull request #470 from mohamed-barakat/devel
 
don't issue a warning if `utils` is not loaded
2 parent s e980e62 + a19d180
Raw File
make_dist.sh 
#!/bin/bash

set -e

packages="homalg 4ti2Interface ExamplesForHomalg Gauss GaussForHomalg GradedModules GradedRingForHomalg HomalgToCAS IO_ForHomalg LocalizeRingForHomalg MatricesForHomalg Modules RingsForHomalg SCO ToolsForHomalg "

base_dir="$PWD"

for pkg in ${packages}; do
  ./release-gap-package --skip-existing-release --srcdir ${base_dir}/${pkg} --webdir ${base_dir}/gh-pages/${pkg} --update-script ${base_dir}/gh-pages/update.g $@
done
back to top