argv              105 dxref.c        static void process_args (int argc, char *argv []);
argv              218 dxref.c        process_args (int argc, char *argv [])
argv              224 dxref.c        	if (argv [i][0] != '-') { /* filenames */
argv              225 dxref.c        	    args.files = &argv [i];
argv              228 dxref.c        	} else if (!strcmp (argv [i], "--src2html")) {
argv              230 dxref.c        	} else if (!strcmp (argv [i], "--verbose")) {
argv              232 dxref.c        	} else if (!strcmp (argv [i], "--help")) {
argv              237 dxref.c        	    fprintf (stderr, "unknown option: %s\n", argv [i]);
argv             2359 dxref.c        main (int argc, char *argv [])
argv             2365 dxref.c            process_args (argc, argv);