3 9FRONT=/dist/plan9front
6 echo dircp $9FRONT/386/include /386/include
7 dircp $9FRONT/386/include /386/include
8 echo dircp $9FRONT/rc/bin /rc/bin
9 dircp $9FRONT/rc/bin /rc/bin
10 echo dircp $9FRONT/sys/games /sys/games
11 dircp $9FRONT/sys/games /sys/games
12 echo dircp $9FRONT/sys/include /sys/include
13 dircp $9FRONT/sys/include /sys/include
14 echo dircp $9FRONT/sys/lib /sys/lib
15 dircp $9FRONT/sys/lib /sys/lib
16 echo dircp $9FRONT/sys/man /sys/man
17 dircp $9FRONT/sys/man /sys/man
19 # prepare the enviroment
20 bind -c $9FRONT/sys/src /sys/src
29 bind /$objtype/bin /bin
32 # build manpage indices
45 mk 'CONF=pccpuf' install
49 echo 'Copy the new bootloader and kernels to the 9fat partition with the following commands:'
51 echo 'cp /386/9bootfat /n/9fat'
52 echo 'cp /386/9pcf /n/9fat'
53 echo 'cp /386/9pccpuf /n/9fat'