From 97919b778c8232f325e82d39cf19f2e01d20bc0a Mon Sep 17 00:00:00 2001
From: forsyth <forsyth@vitanuova.com>
Date: Sat, 21 Apr 2012 14:27:14 +0100
Subject: 20120421-1427

---
 doc/realinferno/mkfile | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 doc/realinferno/mkfile

diff --git a/doc/realinferno/mkfile b/doc/realinferno/mkfile
new file mode 100644
index 00000000..62e132fe
--- /dev/null
+++ b/doc/realinferno/mkfile
@@ -0,0 +1,12 @@
+<../fonts.pal
+
+real.ps:D:	real.ms real.ref
+	{echo $FONTS; eqn real.ms} | troff -mpm | dpost >$target
+
+real.ref:D:	real.ms
+	{echo $FONTS; eqn real.ms} | troff -rZ1 -mpm >/dev/null >[2]real.tmp
+	{echo .rm ]C; echo .de ]C; sed 's/(.*) (.*)/.if "\\\\$1"\1" .nr ]R \2/'; echo '[\\n(]R]'; echo ..} <real.tmp >real.ref
+	rm -f real.tmp
+
+clean:N:
+	rm -f real.ref
-- 
cgit v1.2.3