Doc patch

Michael Driscoll (fenris@lightspeed.net)
Tue, 30 Jul 1996 04:44:46 -0700


Hi, may I suggest the following (possibly useless) patch? It suggest commands
which keep errors in make dep etc. from being overwritten as they are now if
they instructions are followed.

Or is there the problem of this not working with [t]csh?
Mike

diff -r --unified oldlinux/Documentation/cdrom/cm206 linux/Documentation/cdrom/cm206
--- oldlinux/Documentation/cdrom/cm206 Tue Jul 30 04:37:12 1996
+++ linux/Documentation/cdrom/cm206 Tue Jul 30 04:39:09 1996
@@ -56,7 +56,7 @@

2) then do a

- make dep; make clean; make zImage; make modules
+ make dep && make clean && make zImage && make modules

3) do the usual things to install a new image (backup the old one, run
`rdev -R zImage 1', copy the new image in place, run lilo). Might
diff -r --unified oldlinux/Documentation/cdrom/gscd linux/Documentation/cdrom/gscd
--- oldlinux/Documentation/cdrom/gscd Tue Jul 30 04:37:12 1996
+++ linux/Documentation/cdrom/gscd Tue Jul 30 04:39:18 1996
@@ -37,7 +37,7 @@
like a module, don't select 'GoldStar CDROM support'. By the way, you
have to include the iso9660 filesystem.

-Now start compiling the kernel with 'make dep ; make zImage'.
+Now start compiling the kernel with 'make dep && make zImage'.
If you want to use the driver as a module, you have to do 'make modules'
and 'make modules_install', additionally.
Install your new kernel as usual - maybe you do it with 'make zlilo'.
diff -r --unified oldlinux/scripts/Configure linux/scripts/Configure
--- oldlinux/scripts/Configure Tue Jul 30 04:37:12 1996
+++ linux/scripts/Configure Tue Jul 30 04:37:45 1996
@@ -465,7 +465,7 @@
echo
echo "The linux kernel is now hopefully configured for your setup."
echo "Check the top-level Makefile for additional configuration,"
-echo "and do a 'make dep ; make clean' if you want to be sure all"
+echo "and do a 'make dep && make clean' if you want to be sure all"
echo "the files are correctly re-made"
echo

diff -r --unified oldlinux/scripts/Menuconfig linux/scripts/Menuconfig
--- oldlinux/scripts/Menuconfig Tue Jul 30 04:37:12 1996
+++ linux/scripts/Menuconfig Tue Jul 30 04:38:01 1996
@@ -1218,7 +1218,7 @@

The linux kernel is now hopefully configured for your setup.
Check the top-level Makefile for additional configuration,
-and do a 'make dep ; make clean' if you want to be sure all
+and do a 'make dep && make clean' if you want to be sure all
the files are correctly re-made.

EOM
diff -r --unified oldlinux/scripts/header.tk linux/scripts/header.tk
--- oldlinux/scripts/header.tk Tue Jul 30 04:37:12 1996
+++ linux/scripts/header.tk Tue Jul 30 04:38:14 1996
@@ -402,7 +402,7 @@
catch {destroy $w}
toplevel $w -class Dialog
message $w.m -width 400 -aspect 300 -text \
- "The linux kernel is now hopefully configured for your setup. Check the top-level Makefile for additional configuration, and do a 'make dep ; make clean' if you want to be sure all the files are correctly re-made." -relief raised
+ "The linux kernel is now hopefully configured for your setup. Check the top-level Makefile for additional configuration, and do a 'make dep && make clean' if you want to be sure all the files are correctly re-made." -relief raised
label $w.bm -bitmap info
pack $w.bm $w.m -pady 10 -side top -padx 10
wm title $w "Kernel build instructions"