diff --git a/sessions/release.sh b/sessions/release.sh deleted file mode 100755 index c3b966c..0000000 --- a/sessions/release.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/zsh - -set -e - -if [[ -z $1 ]]; then - echo "Usage: build.sh NUMBER" - exit 1 -fi - - -darkslide --linenos=no "${1}.md" --embed --destination "${1}.html" -prince "${1}.html" -o "${1}.pdf"