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.
|
- #!/bin/zsh
-
- set -e
-
- if [[ -z $1 ]]; then
- echo "Usage: build.sh NUMBER"
- exit 1
- fi
-
- (
- mkdir -p build
- cd build
- texi2pdf ../python-${1}.tex
- )
|
