search

GaloisInc / FiveUI

Extensible UI Analysis in your browser
Other
29 stars 1 forks source link

create chrome extension zip file in 'make package' #30

Closed creswick closed 10 years ago

creswick commented 10 years ago

The generated zip file should contain the manifest.json, and the data dir.

The manifest.json file also needs to be pre-processed to strip all comments, since the web form for uploading chrome extension fails if comments are present.