tool/metrics: clean txt + html

This commit is contained in:
Matthias Ringwald 2024-04-17 13:57:55 +02:00
parent e3bccb1cc2
commit 29502c9b62

View File

@ -61,4 +61,4 @@ metrics.txt: metrics.tsv
cat metrics_header.tsv metrics.tsv | expand -t 70,160,170,180,190,210,220,230,240,250,260,270,280,290,300 > metrics.txt
clean:
rm -f metrics.tsv metrics.md
rm -f metrics.tsv metrics.md metrics.txt metrics.html metrics_header.tsv