chore(lean.bib): restore comment explaining how to run bibtool

leanprover-community · Oct 10, 2024 · f110bb0 · f110bb0
1 parent 653ca90
commit f110bb0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lean.bib b/lean.bib
@@ -1,4 +1,5 @@
-
+# To normalize:
+# bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i lean.bib -o lean.bib
 @InProceedings{   AGLST23,
   author        = {Avigad, Jeremy and Goldberg, Lior and Levit, David and
                   Seginer, Yoav and Titelman, Alon},