tools: use Copying instead of Generating for the static resources in ./v doc -m -f html vlib/

spytheman · spytheman · commit d1696104c99e · 2025-08-01T18:47:49.000+03:00
diff --git a/cmd/tools/vdoc/html.v b/cmd/tools/vdoc/html.v
@@ -117,7 +117,7 @@ fn (vd &VDoc) get_resource(name string, out Output) string {
 	} else {
 		output_path := os.join_path(out.path, name)
 		if !os.exists(output_path) {
-			println('Generating ${res.len:8} bytes of static resources in `${output_path}` ...')
+			println('Copying ${res.len:8} bytes from `${path}` to `${output_path}` ...')
 			os.write_file(output_path, res) or { panic(err) }
 		}
 		return name

Original file line number	Diff line number	Diff line change
`@@ -117,7 +117,7 @@ fn (vd &VDoc) get_resource(name string, out Output) string {`
`117`	`117`	`} else {`
`118`	`118`	`output_path := os.join_path(out.path, name)`
`119`	`119`	`if !os.exists(output_path) {`
`120`		- println('Generating ${res.len:8} bytes of static resources in `${output_path}` ...')
	`120`	+ println('Copying ${res.len:8} bytes from `${path}` to `${output_path}` ...')
`121`	`121`	`os.write_file(output_path, res) or { panic(err) }`
`122`	`122`	`}`
`123`	`123`	`return name`