Output port number of server, and lint fixes (#980)

This commit is contained in:
Erik Demaine
2017-11-22 21:54:21 -05:00
committed by Ashish Myles
parent 69aff05024
commit fd2544f8f9
2 changed files with 4 additions and 1 deletions

View File

@@ -55,7 +55,7 @@
},
"bin": "cli.js",
"scripts": {
"lint": "eslint katex.js server.js cli.js src test contrib dockers && stylelint static/fonts.less static/katex.less",
"lint": "eslint katex.js server.js cli.js webpack.config.js webpackDevServer.js src test contrib dockers && stylelint static/fonts.less static/katex.less",
"flow": "flow",
"jest": "jest",
"coverage": "jest --coverage",