Lines Matching defs:dtdvalidfpi
146 static char * dtdvalidfpi = NULL;
2709 if ((dtdvalid != NULL) || (dtdvalidfpi != NULL)) {
2718 dtd = xmlParseDTD((const xmlChar *)dtdvalidfpi, NULL);
2728 "Could not parse DTD %s\n", dtdvalidfpi);
2753 filename, dtdvalidfpi);
2984 printf("\t--dtdvalidfpi FPI : same but name the DTD with a Public Identifier\n");
3188 } else if ((!strcmp(argv[i], "-dtdvalidfpi")) ||
3189 (!strcmp(argv[i], "--dtdvalidfpi"))) {
3191 dtdvalidfpi = argv[i];
3603 if ((!strcmp(argv[i], "-dtdvalidfpi")) ||
3604 (!strcmp(argv[i], "--dtdvalidfpi"))) {