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.
8 lines
206 B
8 lines
206 B
#!/usr/bin/env bash
|
|
|
|
echo "$(id -u)" > userid.info
|
|
|
|
# Script to build a PDF from the latex source
|
|
docker run -v $(pwd):/source schickling/latex /usr/bin/env bash /source/build-pdf-docker.sh
|
|
|
|
rm userid.info
|