diff options
Diffstat (limited to 'pipeline/pdf.sh')
| -rwxr-xr-x | pipeline/pdf.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pipeline/pdf.sh b/pipeline/pdf.sh index a769137..d31c1da 100755 --- a/pipeline/pdf.sh +++ b/pipeline/pdf.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env sh # Compile every .typ the write stage produced, into $OUT/write/pdf/. # # typst is the only thing this stage needs, and it is a single binary. A link |