#!/bin/sh

mkdir -p "$SAGE_SHARE"/combinatorial_designs
mv src/* "$SAGE_SHARE"/combinatorial_designs
