Remove generating prettify.js