diff options
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 ;; |