Rollup merge of rust-lang#146234 - hkBst:file-generated-header, r=tgross35

fmease · web-flow · commit 20b30a6a4c1b · 2025-09-05T22:47:22.000+02:00
change file-is-generated doc comment to inner

Alternatively this could perhaps be better as a normal comment...
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 `./x run 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!
 // Alphabetic      :  1727 bytes, 142759 codepoints in 757 ranges (U+000041 - U+0323B0) using skiplist
 // Case_Ignorable  :  1053 bytes,   2749 codepoints in 452 ranges (U+000027 - U+0E01F0) using skiplist
 // Cased           :   407 bytes,   4578 codepoints in 159 ranges (U+000041 - U+01F18A) using skiplist

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		-///! This file is generated by `./x run 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`	`// Alphabetic : 1727 bytes, 142759 codepoints in 757 ranges (U+000041 - U+0323B0) using skiplist`
`3`	`3`	`// Case_Ignorable : 1053 bytes, 2749 codepoints in 452 ranges (U+000027 - U+0E01F0) using skiplist`
`4`	`4`	`// Cased : 407 bytes, 4578 codepoints in 159 ranges (U+000041 - U+01F18A) using skiplist`