# HG changeset patch
# User markus schnalke <meillo@marmaro.de>
# Date 1447186402 -3600
# Node ID e2961496d09711bb303f711d514dc74ed3058a1b
# Parent  e294684cf3383b6abb3bb9fd245234ab705fdbae
Add script to generate the PDFs

diff -r e294684cf338 -r e2961496d097 ms2pdf
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ms2pdf	Tue Nov 10 21:13:22 2015 +0100
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+if [ $# -ne 1 ] ; then
+	echo "Usage: ${0%%*/} foo.ms" >&2
+	exit 1
+fi
+
+export TROFFONTS=/home/meillo/fonts/
+<"$1" tbl | pic | troff -ms | dpost |
+	ps2pdf -sPAPERSIZE=a4 -dPDFSETTINGS=/prepress - "${1%%.ms}.pdf"