#line 7 "main.nw" static char rcsid[] = "$Id: main.nw,v 2.22 2006/06/12 21:03:53 nr Exp nr $"; static char rcsname[] = "$Name: v2_11b $"; #include #include #include #include #include "notangle.h" #include "errors.h" #include "columns.h" #include "modules.h" #include "modtrees.h" #line 25 "main.nw" main(int argc, char **argv) { int i; char *locformat = ""; char *Clocformat = "#line %L \"%F\"%N"; int root_options_seen = 0; tabsize = 0; /* default for nt is not to use tabs */ progname = argv[0]; finalstage = 1; for (i=1; i