Remove unused publish doc script.
Apply language migration aids of IntelliJ IDEA. #2