#34 skip doi

yegor256 · Jun 4, 2023 · cd4efd8 · cd4efd8
1 parent cd6f121
commit cd4efd8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/bibcop.pl b/bibcop.pl
@@ -56,6 +56,9 @@ sub check_mandatory_tags {
     }
     if (not(exists $entry{$tag})) {
       my $listed = listed_tags(%entry);
+      if ($tag eq 'doi' and exists $args{'--no:doi'}) {
+        next;
+      }
       return "A mandatory '$tag' tag for '\@$type' is missing among $listed"
     }
   }