unicode_data.rs: show command for generating file

RalfJung · RalfJung · commit 1a481fd9e015 · 2024-11-02T10:06:52.000+01:00
diff --git a/core/src/unicode/unicode_data.rs b/core/src/unicode/unicode_data.rs
@@ -1,4 +1,4 @@
-///! This file is generated by src/tools/unicode-table-generator; do not edit manually!
+///! This file is generated by `./x run src/tools/unicode-table-generator`; do not edit manually!
 
 #[rustc_const_unstable(feature = "const_unicode_case_lookup", issue = "101400")]
 #[inline(always)]

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-///! This file is generated by src/tools/unicode-table-generator; do not edit manually!`
	`1`	+///! This file is generated by `./x run src/tools/unicode-table-generator`; do not edit manually!
`2`	`2`
`3`	`3`	`#[rustc_const_unstable(feature = "const_unicode_case_lookup", issue = "101400")]`
`4`	`4`	`#[inline(always)]`