Auto merge of #12376 - ehuss:artifact-json-docs, r=epage

Update docs for artifact JSON debuginfo levels. String-based debuginfo levels were added in #11958, but the documentation wasn't updated to reflect that.
rust-lang · Jul 19, 2023 · 499296e · 499296e
2 parents 1b15556 + b009d28
commit 499296e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/doc/src/reference/external-tools.md b/src/doc/src/reference/external-tools.md
@@ -159,7 +159,8 @@ following structure:
     "profile": {
         /* The optimization level. */
         "opt_level": "0",
-        /* The debug level, an integer of 0, 1, or 2. If `null`, it implies
+        /* The debug level, an integer of 0, 1, or 2, or a string
+           "line-directives-only" or "line-tables-only". If `null`, it implies
            rustc's default of 0.
         */
         "debuginfo": 2,