github workflow: build_setup: employ shell script with GITHUB_WORKSPACE

This commit is contained in:
2021-09-21 17:20:46 +02:00
parent 3e00543028
commit c8bee63942
3 changed files with 8 additions and 6 deletions

View File

@@ -1,5 +0,0 @@
#!/bin/bash
cat README.md | grep '^# IMCtermite' -A 50000 > python/README.md
cp -r lib python/
cp -v LICENSE python