I searched and many suggested very complicated ways to remove it such as a third-party software or change something in the Windows Register. This is why I HATE Win. I find a easy way to do it inspired from the following blog:
http://lifehacker.com/5883860/change-the-file-extension-of-any-file-through-windows-save-as-menu
However, it is not perfect. For example. the file you are trying to Save As is abcde.sty and you input "abcde.sty" in the file name, then the type you will get is .sty". So only one quote at the beginning of the file name is enough, like this:
"abced.sty
No comments:
Post a Comment