Werner LEMBERG writes: > ctangle --help prints > Usage: ctangle [OPTIONS] \ > WEBFILE[.w] [{CHANGEFILE[.ch]|-}] [OUTFILE[.tex]] > ^^^ > The default suffix of OUTFILE is `.c'. Oops. Thanks. -- Olaf Weber (This space left blank for technical reasons.)