Update default URL to https://docs.zeit.de

ZeitOnline · Dec 14, 2018 · 420f9b4 · 420f9b4
1 parent 2786d82
commit 420f9b4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CHANGES.txt b/CHANGES.txt
@@ -5,7 +5,7 @@ Changelog
 1.2.0 (unreleased)
 ------------------
 
-- Nothing changed yet.
+- Update default URL to https://docs.zeit.de
 
 
 1.1.0 (2018-12-10)

diff --git a/src/sphinx_zon_theme/theme.conf b/src/sphinx_zon_theme/theme.conf
@@ -3,8 +3,8 @@ inherit = sphinx_rtd_theme
 
 [options]
 editme_link = https://github.com/zeitonline/{project}/edit/master/{page}
-elasticsearch_host = http://docs.zeit.de/elasticsearch
+elasticsearch_host = https://docs.zeit.de/elasticsearch
 elasticsearch_index = docs
 # For creating links to search result items (that may live in other projects).
 # Trailing slash required.
-public_url_root = http://docs.zeit.de/
+public_url_root = https://docs.zeit.de/