Editing production site files?

What is the process to edit an ERPNext site’s files when it’s in production mode? For instance, I need to edit the Lead DocType’s lead.js file, however under the site directory, I cannot find that file…