diff options
Diffstat (limited to '.scripts')
| -rwxr-xr-x | .scripts/commstat | 1 | ||||
| -rwxr-xr-x | .scripts/compile | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/.scripts/commstat b/.scripts/commstat new file mode 100755 index 0000000..f1f641a --- /dev/null +++ b/.scripts/commstat @@ -0,0 +1 @@ +#!/usr/bin/env bash 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 ;; |