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