(gcc -E config.c | \
	gawk '/^#/ {printf ";; ";} /.*/' > nc.lsp) 2> /dev/null
(gcc -E -DDEBUG config.c | \
	gawk '/^#/ {printf ";; ";} /.*/' > ncd.lsp) 2> /dev/null
(gcc -E -DSCHEME config.c | \
	gawk '/^#/ {printf ";; ";} /.*/' > nc.scm) 2> /dev/null
(gcc -E -DSCHEME -DUSE_MRED config.c | \
	gawk '/^#/ {printf ";; ";} /.*/' > ncm.scm) 2> /dev/null