File tree 3 files changed +4
-154
lines changed
3 files changed +4
-154
lines changed Original file line number Diff line number Diff line change @@ -144,7 +144,6 @@ struct taskstate {
144
144
ushort iomb ; // I/O map base address
145
145
};
146
146
147
- // PAGEBREAK: 12
148
147
// Gate descriptors for interrupts and traps
149
148
struct gatedesc {
150
149
uint off_15_0 : 16 ; // low 16 bits of offset in segment
@@ -180,4 +179,3 @@ struct gatedesc {
180
179
}
181
180
182
181
#endif
183
-
Original file line number Diff line number Diff line change 14
14
mkdir -p fmt
15
15
rm -f fmt/*
16
16
cp README fmt
17
+ echo > fmt/blank
17
18
files=` grep -v ' ^#' runoff.list | awk ' {print $1}' `
18
19
n=99
19
20
for i in $files
@@ -214,7 +215,9 @@ awk '
214
215
# pr -t -2 t.defs | ../pr.pl -h "definitions" | pad
215
216
pr -t -l50 -2 refs | ../pr.pl -h " cross-references" | pad
216
217
# pr.pl -h "definitions" -2 t.defs | pad
217
- # pr.pl -h "cross-references" -2 refs | pad
218
+ # pr.pl -h "cross-references" -2 refs | pad
219
+ ../pr.pl blank # make sheet 1 start on left page
220
+ ../pr.pl blank
218
221
for i in $files
219
222
do
220
223
../pr.pl -h " xv6/$i " $i
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments