1 files changed, 3 insertions, 0 deletions

diff --git a/show1 b/show1
new file mode 100755
index 0000000..3637c72
--- /dev/null
+++ b/show1
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+runoff1 "$@" | pr.pl -h "xv6/$@" | mpage -m50t50b -o -bLetter -T -t -2 -FCourier -L60 >x.ps; gv --swap x.ps