joerg 6bc6b7aae6 Now that the name of the ISO image is no longer stable, rename the ... variable to make it possible to overwrite the default with build.sh -V CDROM_IMAGE=...		2012-01-15 17:36:55 +00:00
..
MAKEDEV.conf	…
Makefile.inc	Now that the name of the ISO image is no longer stable, rename the	2012-01-15 17:36:55 +00:00
ttys	…