Clarify comment.

kohler · Aug 30, 2023 · d5a9f22 · d5a9f22
1 parent c1f4c24
commit d5a9f22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/paperoptionlist.php b/src/paperoptionlist.php
@@ -165,7 +165,7 @@ static function make_intrinsic_json_map(Conf $conf, $vconf, $all) {
             }
         }
 
-        // return unless overrides exist and are desired
+        // return unless overrides exist (and, in the case of `ioptions`, are desired)
         $s1 = $conf->opt("intrinsicOptions");
         $s2 = $all ? $conf->setting_json("ioptions") : null;
         if (!$s1 && !$s2) {