summaryrefslogtreecommitdiff
path: root/runoff
diff options
context:
space:
mode:
authorrsc <rsc>2007-08-30 14:12:19 +0000
committerrsc <rsc>2007-08-30 14:12:19 +0000
commit05109382d6392163f64ed5be66232a2d33f108fe (patch)
treee6e3594560b2d08f25f8288aa36665cf61c751dc /runoff
parent42f3c3f7be9717b66ba6e133a113c0f751c53133 (diff)
downloadxv6-labs-05109382d6392163f64ed5be66232a2d33f108fe.tar.gz
xv6-labs-05109382d6392163f64ed5be66232a2d33f108fe.tar.bz2
xv6-labs-05109382d6392163f64ed5be66232a2d33f108fe.zip
tweak
Diffstat (limited to 'runoff')
-rwxr-xr-xrunoff2
1 files changed, 2 insertions, 0 deletions
diff --git a/runoff b/runoff
index 8ebaf13..b110ca4 100755
--- a/runoff
+++ b/runoff
@@ -202,3 +202,5 @@ else
cp all.ps allf.ps
fi
ps2pdf allf.ps ../xv6.pdf
+cd ..
+pdftops xv6.pdf xv6.ps