* fix bug detect blank nodes

[helm.git] / helm / papers / use_case / stats / Makefile

diff --git a/helm/papers/use_case/stats/Makefile b/helm/papers/use_case/stats/Makefile
index fa5f5e2e907ec882e5cbf0b1a9c4b6dff2a395b7..6db5d94691cfb9c3cddf30554c62b3a28b9974c0 100644 (file)
--- a/helm/papers/use_case/stats/Makefile
+++ b/helm/papers/use_case/stats/Makefile
@@ -2,3 +2,14 @@
 stats: stats.cc
        g++ -o $@ `pkg-config gdome2-cpp-smart --cflags --libs` $<
 
+stats.xml:
+       echo "<statistics>" >stats.xml
+       find /local/helm/library/coq_contribs/$(CONTRIB) -type f -exec ./stats.sh {} \; >>stats.xml
+       echo "</statistics>" >>stats.xml
+
+stats.html: stats.xml
+       xsltproc mkhtml.xsl $< >$@
+
+stats.txt: stats.html
+       w3m -dump a.html > a.txt
+