commit 6b1b487b16148bba4080032b6d482669c25d9a92
parent 3776a1497bb4534a944ef504dda161789bfe3040
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Fri, 12 Jun 2020 13:15:05 +0200
Add handler for groff_mom files with extension .mom
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/.local/bin/compile b/.local/bin/compile
@@ -58,6 +58,8 @@ handle_target() {
run_compile "cc -std=c99 -pedantic -Wall -O2 -g '$1' -o '${1%%.*}'" "$1";;
*\.[0-9])
run_compile "refer -PS -e '$1' | groff -mandoc -T pdf > '$(basename "${base}").pdf'" "$1";;
+ *\.mom)
+ run_compile "pdfmom '$1' > '$(basename "${base}").pdf'" "$1";;
*)
(>2 printf "File type %s not supported\n" $extension)
exit 1;;