diff options
| author | Marvin Borner | 2020-07-05 15:53:23 +0200 |
|---|---|---|
| committer | Marvin Borner | 2020-07-05 15:53:23 +0200 |
| commit | 888dd53bdba27f799d401d36b34e4e41d7c468fc (patch) | |
| tree | a77c350d6444df08e1863da14684f17641c0cb62 /.scripts/compile | |
| parent | a738067f158938d9db8ef4e9be71804a2a6ef7c2 (diff) | |
Some changes
Diffstat (limited to '.scripts/compile')
| -rwxr-xr-x | .scripts/compile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.scripts/compile b/.scripts/compile index ce60741..38295e2 100755 --- a/.scripts/compile +++ b/.scripts/compile @@ -5,6 +5,11 @@ dir=${file%/*} base="${file%.*}" ext="${file##*.}" +if [ -f "$dir/run" ]; then + echo "Using run file" + exec "$dir/run" +fi + case "$ext" in ms) preconv "$file" | refer -PS -e | groff -me -ms -kept -T pdf >"$base".pdf ;; [0-9]) preconv "$file" | refer -PS -e | groff -mandoc -T pdf >"$base".pdf ;; |