Thread:JPulowski/@comment-4055238-20111125021650/@comment-5503561-20111202212144

Texmod pretty much does the same. Except you can choose file format in which they'll be saved. 