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