You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

6 vuotta sitten
6 vuotta sitten
6 vuotta sitten
6 vuotta sitten
6 vuotta sitten
1234567891011121314
  1. #!/bin/zsh
  2. set -e
  3. if [[ -z $1 ]]; then
  4. echo "Usage: build.sh NUMBER"
  5. exit 1
  6. fi
  7. (
  8. mkdir -p build
  9. cd build
  10. texi2pdf ../python-${1}.tex
  11. )