diff -urN ../htmllint.orig/tagslist.cgi ./tagslist.cgi --- ../htmllint.orig/tagslist.cgi Thu Sep 13 13:00:00 2012 +++ ./tagslist.cgi Fri Sep 28 16:00:00 2012 @@ -177,7 +177,7 @@ &PrintHTTPHeader; } elsif ($tag) { $tag = "\U$tag"; - &SelectTAGSLIST($tag); + &SelectTAGSLIST('_tag_'.$tag); # (HTMLVersionの)HTML+と(タグの)のキャッシュファイル名重複を避けるため &PrintHTTPHeader unless $TAGSLIST; &PrintHTMLHeader("All of ${tag}'s Attributes"); &Jprint(qq|

<\L$tag> |, 'の属性一覧', qq|

\n|, $AttrHeader, @@ -300,7 +300,7 @@ &PrintHTMLFooter; &CloseTAGSLIST; } else { - &SelectTAGSLIST($rule); + &SelectTAGSLIST('_rule_'.$rule); # (HTMLVersionの)HTML+と(タグの)のキャッシュファイル名重複を避けるため require $rule.'.rul'; $html = ${$doctypes{$rule}}{'guide'}; $xhtml = ${$doctypes{$rule}}{'version'} >= 5.0;