Przeglądaj źródła

Remove useless script

master
Dimitri Merejkowsky 6 lat temu
rodzic
commit
ac9e02424c
1 zmienionych plików z 0 dodań i 12 usunięć
  1. +0
    -12
      sessions/release.sh

+ 0
- 12
sessions/release.sh Wyświetl plik

@@ -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"