diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2020-03-30 14:51:40 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-30 14:51:40 +0000 |
| commit | 949378a07f7baa7ded50f15b386a72e5cd687006 (patch) | |
| tree | a38e004d304de0b2480b50bd36c3f521fbf08546 /docs | |
| parent | 9a2f26d915ee05d933a18c31bca2121658aa7ffd (diff) | |
| parent | 1ae39787c1d19a6781ad3d5cb0b2615741d9eb4b (diff) | |
Merge pull request #1900 from return42/issue-1898
export build variables / support brands
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/conf.py | 6 | ||||
| -rw-r--r-- | docs/dev/quickstart.rst | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/docs/conf.py b/docs/conf.py index ebcd102b2..03e977aba 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -4,9 +4,9 @@ import sys, os from searx.version import VERSION_STRING from pallets_sphinx_themes import ProjectLink -GIT_URL = os.environ.get("GIT_URL", "https://github.com/asciimoo/searx") -SEARX_URL = os.environ.get("SEARX_URL", "https://searx.me") -DOCS_URL = os.environ.get("DOCS_URL", "https://asciimoo.github.io/searx/") +from searx.brand import GIT_URL +from searx.brand import SEARX_URL +from searx.brand import DOCS_URL # Project -------------------------------------------------------------- diff --git a/docs/dev/quickstart.rst b/docs/dev/quickstart.rst index e40772b3b..a786eda63 100644 --- a/docs/dev/quickstart.rst +++ b/docs/dev/quickstart.rst @@ -87,8 +87,8 @@ After satisfying the requirements styles can be build using ``manage.sh`` ./manage.sh styles -How to build the source of the oscar theme -========================================== +How to build the source of the themes +===================================== .. _grunt: https://gruntjs.com/ @@ -98,13 +98,13 @@ NodeJS, so first Node has to be installed. .. code:: sh sudo -H apt-get install nodejs - sudo -H npm install -g grunt-cli + make node.env After installing grunt, the files can be built using the following command: .. code:: sh - ./manage.sh grunt_build + make themes Tips for debugging/development |