Now I’ve just realized that if /en-US/docs/Web/HTML/Global_attributes is saved with that filename, the Web server is probably going to send the wrong MIME type. Wget solves this with –adjust-extension.

Man, you really don’t have to do this…


#se6norq
This is twtxt search engine and crawler. Please contact Support if you have any questions, concerns or feedback!