From 3860c641160509b40f27a77c0ac0e5d5492be6fc Mon Sep 17 00:00:00 2001 From: Paul Jolly Date: Tue, 17 Dec 2024 17:32:04 +0000 Subject: [PATCH] internal/patch/tip: changes post https://cuelang.org/cl/1205706 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This updates the patch that is applied when building against the tip of CUE, in order for the corresponding build of the site to succeed. Noting that both breakages would have been avoided if we had a proper solution for https://cuelang.org/issue/2798. Signed-off-by: Paul Jolly Change-Id: I6257ca45b03e0db7c7fb42b886f730cfe82e1452 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cuelang.org/+/1205932 Reviewed-by: Daniel Martí TryBot-Result: CUEcueckoo --- internal/patch/tip.diff | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/internal/patch/tip.diff b/internal/patch/tip.diff index e69de29bb..fa5d9c49f 100644 --- a/internal/patch/tip.diff +++ b/internal/patch/tip.diff @@ -0,0 +1,33 @@ +diff --git a/content/docs/concept/how-cue-works-with-json-schema/en.md b/content/docs/concept/how-cue-works-with-json-schema/en.md +index d956341b7..83a6f1d9c 100644 +--- a/content/docs/concept/how-cue-works-with-json-schema/en.md ++++ b/content/docs/concept/how-cue-works-with-json-schema/en.md +@@ -98,12 +98,13 @@ definition: + + {{{with upload "en" "schema.cue"}}} + -- schema.cue -- ++// Main Person schema. ++// ++// This schema defines a person. ++ + import "strings" + + #Person: { +- // Main Person schema. +- // +- // This schema defines a person. + @jsonschema(schema="https://json-schema.org/draft/2020-12/schema") + + // What is this person called? +diff --git a/content/docs/tutorial/converting-json-schema-to-cue/en.md b/content/docs/tutorial/converting-json-schema-to-cue/en.md +index e5e781ec2..8ab5dd95f 100644 +--- a/content/docs/tutorial/converting-json-schema-to-cue/en.md ++++ b/content/docs/tutorial/converting-json-schema-to-cue/en.md +@@ -128,6 +128,7 @@ package cuisine + + #restaurant: { + @jsonschema(schema="https://json-schema.org/draft/2020-12/schema") ++ + close({ + name!: string + cuisine!: string