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