Lines Matching full:nodefdtd
167 static int nodefdtd = 0;3016 printf("\t--nodefdtd : do not default HTML doctype\n");3188 } else if ((!strcmp(argv[i], "-nodefdtd")) ||3189 (!strcmp(argv[i], "--nodefdtd"))) {3190 nodefdtd++;