3 --- doscmd.1.orig Wed Apr 10 02:38:59 1996
4 +++ doscmd.1 Fri Jul 17 23:30:00 1998
7 flag is specified, it is a read only file system.
8 These assignments will not take place when booting DOS until the
9 -.Pa /usr/dos/instbsdi.exe
10 +.Pa %PREFIX%/libexec/instbsdi.exe