martin 0e857c5e1f Now that we do not force debug sets off install CDs any more, explicitly ... set CDRELEASE_NODEBUG everywhere.		2018-09-28 15:05:19 +00:00
..
installcd	…
Makefile	…