Преглед на файлове

Add release script

master
Dimitri Merejkowsky преди 6 години
родител
ревизия
b8cfa1d9af
променени са 1 файла, в които са добавени 12 реда и са изтрити 0 реда
  1. +12
    -0
      sessions/release.sh

+ 12
- 0
sessions/release.sh Целия файл

@@ -0,0 +1,12 @@
#!/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"