summaryrefslogtreecommitdiff
path: root/runoff
diff options
context:
space:
mode:
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
Powered by cgit, Theme cgit-dark created by Ted Yin, updated by Mole Shang.