ctangle --help prints Usage: ctangle [OPTIONS] \ WEBFILE[.w] [{CHANGEFILE[.ch]|-}] [OUTFILE[.tex]] ^^^ The default suffix of OUTFILE is `.c'. Werner