* compressed statistics committed

[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 fdfdb9ff09078f92d14ad6eee604df5945815e8c..390a3059a8604a8e9b31e106e9e742c1dc6870e6 100644 (file)
--- a/helm/papers/use_case/stats/Makefile
+++ b/helm/papers/use_case/stats/Makefile
@@ -5,7 +5,9 @@ STATS_TARGETS = \
   $(TARGETS:%=stats_%.xml) \
   stats_theories.xml
 
-all: $(STATS_TARGETS)
+all_xml: $(STATS_TARGETS)
+
+all_html: $(STATS_TARGETS:%.xml=%.html)
 
 stats: stats.cc
        g++ -o $@ `pkg-config gdome2-cpp-smart --cflags --libs` $<