tweak
This commit is contained in:
parent
42f3c3f7be
commit
05109382d6
2 changed files with 16 additions and 3 deletions
2
runoff
2
runoff
|
@ -202,3 +202,5 @@ else
|
|||
cp all.ps allf.ps
|
||||
fi
|
||||
ps2pdf allf.ps ../xv6.pdf
|
||||
cd ..
|
||||
pdftops xv6.pdf xv6.ps
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue