helm/papers/use_case/stats/Makefile

   1
   2 stats: stats.cc
   3         g++ -o $@ `pkg-config gdome2-cpp-smart --cflags --libs` $<
   4
   5 stats.xml:
   6         echo "<statistics>" >stats.xml
   7         find /local/helm/library/coq_contribs/$(CONTRIB) -type f -exec ./stats.sh {} \; >>stats.xml
   8         echo "</statistics>" >>stats.xml
   9
  10 stats.html: stats.xml
  11         xsltproc mkhtml.xsl $< >$@
  12
  13 stats.txt: stats.html
  14         w3m -dump a.html > a.txt
  15