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

leanprover-community · Oct 10, 2024 · 0c22759 · 0c22759
1 parent 653ca90
commit 0c22759
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lean.bib b/lean.bib
@@ -1,4 +1,6 @@
 
+# 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},