Project

General

Profile

Building the browser extension » History » Version 1

jahoti, 07/05/2021 01:41 AM

1 1 jahoti
# Building the extension
2
**This information is outdated.**
3
4
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.
5
6
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
7
a different `manifest.json` in Mozilla and Chromium versions of the extension and therefore avoid FF-derived browsers' complaints about an unknown manifest entry.