# HG changeset patch
# User wenzelm
# Date 1673608564 -3600
# Node ID d9727629cb67efb107d7bb06c4ac6b7aa6d5fd55
# Parent  deb7dffb33406e6a3f0214a5d3ebac0634296186
clarified check: this could be \nocite;

diff -r deb7dffb3340 -r d9727629cb67 src/Pure/Thy/bibtex.ML
--- a/src/Pure/Thy/bibtex.ML	Thu Jan 12 20:09:08 2023 +0100
+++ b/src/Pure/Thy/bibtex.ML	Fri Jan 13 12:16:04 2023 +0100
@@ -57,7 +57,7 @@
             if null bibtex_entries andalso thy_name <> Context.PureN then ()
             else
               citations |> List.app (fn (name, pos) =>
-                if member (op =) bibtex_entries name then ()
+                if member (op =) bibtex_entries name orelse name = "*" then ()
                 else error ("Unknown Bibtex entry " ^ quote name ^ Position.here pos));
 
           val kind = Config.get ctxt cite_macro;