1cd915012d
known option, unknown options following the known option were not removed. Now I think only unknown options in unknown options files are not removed. This is harmless because unknown options files should not be used, but removing the files would be cleaner. |
||
---|---|---|
.. | ||
SMM.doc | ||
config.8 | ||
config.h | ||
config.y | ||
configvers.h | ||
lang.l | ||
main.c | ||
Makefile | ||
mkheaders.c | ||
mkioconf.c | ||
mkmakefile.c | ||
mkoptions.c |