diff options
| author | forsyth <forsyth@vitanuova.com> | 2012-04-21 14:27:14 +0100 |
|---|---|---|
| committer | forsyth <forsyth@vitanuova.com> | 2012-04-21 14:27:14 +0100 |
| commit | 97919b778c8232f325e82d39cf19f2e01d20bc0a (patch) | |
| tree | 2402721d2211a4532d4c3ac0883241908e715a84 | |
| parent | 1aff7a0a7dab24c5871eb95737c86616c9fd848b (diff) | |
20120421-1427
| -rw-r--r-- | doc/realinferno/mkfile | 12 |
1 files changed, 12 insertions, 0 deletions
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 |