Searched defs:dtdvalidfpi (Results 1 - 2 of 2) sorted by relevance
/external/chromium_org/third_party/libxml/src/ |
H A D | xmllint.c | 146 static char * dtdvalidfpi = NULL; variable 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")) || [all...] |
/external/libxml2/ |
H A D | xmllint.c | 147 static char * dtdvalidfpi = NULL; variable 2725 if ((dtdvalid != NULL) || (dtdvalidfpi != NULL)) { 2734 dtd = xmlParseDTD((const xmlChar *)dtdvalidfpi, NULL); 2744 "Could not parse DTD %s\n", dtdvalidfpi); 2769 filename, dtdvalidfpi); 3002 printf("\t--dtdvalidfpi FPI : same but name the DTD with a Public Identifier\n"); 3220 } else if ((!strcmp(argv[i], "-dtdvalidfpi")) || 3221 (!strcmp(argv[i], "--dtdvalidfpi"))) { 3223 dtdvalidfpi = argv[i]; 3652 if ((!strcmp(argv[i], "-dtdvalidfpi")) || [all...] |
Completed in 100 milliseconds