K 10 svn:author V 5 peter K 8 svn:date V 27 1996-12-26T23:40:32.000000Z K 7 svn:log V 225 Tidy up the generated config.c file. Use #include "opt_config.h", comment out text after #endif line, add missing \n at end of file, only install new config.c if it's different to the last one which preserves the timestamp. END