Change --> Total and merge with +-

leanprover-community · May 19, 2024 · 0eaad27 · 0eaad27
1 parent 7a077cf
commit 0eaad27
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/mathlib_stats.sh b/scripts/mathlib_stats.sh
@@ -107,8 +107,8 @@ done)"
 
 # produces the table summary of the declarations split by type
 declSummary="$(paste -d' ' <(echo "${newDecls}") <(echo "${oldDecls}") <(echo "${plusMinus}") |
-  LC_ALL=en_US.UTF-8 awk 'BEGIN{ print "|Type|New|+-|%|\n|:-:|:-:|:-:|:-:|" }{
-    printf("| %s | %'"'"'d | +%'"'"'d -%'"'"'d | %4.2f%% |\n", $1, $2, $5, $6, ($2-$4)*100/$2)
+  LC_ALL=en_US.UTF-8 awk 'BEGIN{ print "|Type|Total|%|\n|:-:|:-:|:-:|" }{
+    printf("| %s | %'"'"'d (+%'"'"'d -%'"'"'d) | %4.2f%% |\n", $1, $2, $5, $6, ($2-$4)*100/$2)
   }'
 )"