#!/bin/sh
# This file is executed by the `release` script from
# https://github.com/gap-system/ReleaseTools

# I have a folder called "internal" which cannot be deleted...
# rm -rf internals


# HACK HACK HACK workaround weird issue with autogen.sh
cp $SRC_DIR/install-sh $SRC_DIR/missing .

