Quote:
Originally Posted by Tex2002ans
I was working on a book with some HTML comments and ran across this with Smarten Punctuation:
Before:
<!--?xml version="1.0" encoding="UTF-8"?-->
After:
<!--?xml version=“1.0” encoding=“UTF-8”?-->
Perhaps smartening should completely ignore HTML Comments? There is the possibility that comments could be designed in very specific ways (requiring unsmartened quotes).
|
While I agree with you in general, I feel obliged to point out that the case you cite is an oddball. A proper XML declaration - which would require dumb quotes - doesn't use the HTML comment markers. It looks like, in your case, someone manually commented out the declaration for some reason. In short, the change looks weird, but it doesn't actually affect anything.