Lines Matching refs:dtdvalidfpi
145 static char * dtdvalidfpi = NULL;
2576 if ((dtdvalid != NULL) || (dtdvalidfpi != NULL)) {
2585 dtd = xmlParseDTD((const xmlChar *)dtdvalidfpi, NULL);
2595 "Could not parse DTD %s\n", dtdvalidfpi);
2620 filename, dtdvalidfpi);
2849 printf("\t--dtdvalidfpi FPI : same but name the DTD with a Public Identifier\n");
3049 } else if ((!strcmp(argv[i], "-dtdvalidfpi")) ||
3050 (!strcmp(argv[i], "--dtdvalidfpi"))) {
3052 dtdvalidfpi = argv[i];
3451 if ((!strcmp(argv[i], "-dtdvalidfpi")) ||
3452 (!strcmp(argv[i], "--dtdvalidfpi"))) {