Searched refs:doctype (Results 1 – 3 of 3) sorted by relevance
525 const char *doctype; in print_gen_decls() local532 doctype = "-//W3C//DTD HTML 4.01//EN"; in print_gen_decls()538 doctype = "-//W3C//DTD XHTML 1.0 Strict//EN"; in print_gen_decls()544 name, doctype, dtd); in print_gen_decls()
81 compound -r doctype=(
476 0 string <!doctype HTML html document477 0 string <!doctype Html html document478 0 string <!doctype html html document