tree d554a0f39a4a0f5cf587dca541256b34ba40d0f7
parent 476a2a6bd62445fa2c717cd566e8f8e31099bd26
author avm99963 <me@avm99963.com> 1612656027 +0100
committer avm99963 <me@avm99963.com> 1612656079 +0100

Add infrastructure

Add several tools to help with the extension development:

- Add generateManifest.bash to generate the manifest.json file
  dynamically, from a template at templates/manifest.gjson. The
  manifest.gjson file can have lines defining what parts of the manifest
  are added for each target browser.
- Add release.bash to generate the extension ZIP files.
- Add Makefile to serve as a wrapper for the release.bash script.
- Add tagRelease.bash to help tag versions in Git accordingly.

Change-Id: I2395556113649ee0221a61a4a7966492bbdad8e8