+stats_%.xml:
+ @echo "<statistics>" >$@
+ @find /local/helm/library/coq_contribs/$(CONTRIB) -name "*."$(@:stats_%.xml=%)".xml.gz" -type f -exec ./stats.sh {} \; >>$@
+ @echo "</statistics>" >>$@
+
+stats_theories.xml:
+ @echo "<statistics>" >$@
+ @find /local/helm/library/theories -name "*.xml" -type f -exec ./stats.sh {} \; >>$@
+ @echo "</statistics>" >>$@
+
+stats_%.html: stats_%.xml
+ xsltproc mkhtml.xsl $< >$@
+
+stats_%.txt: stats_%.html
+ w3m -cols 132 -dump $< >$@
+
+clean:
+ rm -f stats.{xml,html,txt}
+