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;