Building the extension¶

This information is outdated.

For now, there is no build procedure. The topmost directory of the git repository is also the extension's main directory. In other words, when loading the extension into a browser as unpacked, one has to simply select the main project directory.

In the future, shell scripts are going to be used to package the extension. This will allow us to make some parts browser-specific, for example to have
a different manifest.json in Mozilla and Chromium versions of the extension and therefore avoid FF-derived browsers' complaints about an unknown manifest entry.