christos 7e81d727bc Consistently use ${RELEASEDIR}/${RELEASEMACHINE} instead of ... ${RELEASEDIR}/${MACHINE} (Paul Ripke)		2019-09-23 13:42:30 +00:00
..
cdroms	Consistently use ${RELEASEDIR}/${RELEASEMACHINE} instead of	2019-09-23 13:42:30 +00:00
instkernel
ramdisk	bump	2017-07-18 23:12:24 +00:00
Makefile	Use ${TOOL_GZIP_N} instead of ${TOOL_GZIP} -n, and similarly	2014-08-05 15:40:58 +00:00