2019-07-12 17:48:34 +08:00
|
|
|
This directory contains the config files and deployment scripts for the official
|
2020-07-14 01:34:46 +08:00
|
|
|
element.io distribution of Element Web.
|
2019-07-12 17:48:34 +08:00
|
|
|
|
|
|
|
|
You probably do not want to build with this config unless you're building the
|
2020-07-14 01:34:46 +08:00
|
|
|
official element.io distribution, but these files may be useful if you want to
|
2019-07-12 17:48:34 +08:00
|
|
|
inspect the configuration used there.
|
|
|
|
|
|
2020-07-14 01:34:46 +08:00
|
|
|
Element Desktop uses a separate config (see
|
2023-12-20 20:21:26 +08:00
|
|
|
https://github.com/element-hq/element-desktop/tree/develop/element.io).
|
2019-07-12 23:46:38 +08:00
|
|
|
|
|
|
|
|
Deployment scripts (such as app/deploy.py) are meant to be run on the web server
|
2020-07-14 01:34:46 +08:00
|
|
|
hosting the Element installation.
|
