tree 76909a667fd17e081e4a38ffcdd4d70d4b38cc55
parent 5951a2cd60da9c897799a1c65cf1d30f3cf3213f
author avm99963 <me@avm99963.com> 1609020670 +0100
committer avm99963 <me@avm99963.com> 1609022918 +0100

Add infrastructure

Add several tools to help with the extension development:

- Add .editorconfig file to set formatting options for the code editors.
- 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.
- Add docs to explain all this new infrastructure (will need to be
  updated in the future with more details).

Change-Id: I698ffc59d0d2ec02b483935f7860e95760951a42