# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1619168484 -7200
# Node ID f47d6ba74a26a36c1157672190825df28e8bf37a
# Parent  dc880664a8ec3f7ab4614931a7a86a199967bb49
pages (documentation): update following renaming

diff -r dc880664a8ec -r f47d6ba74a26 pages/documentation/page_meta.py
--- a/pages/documentation/page_meta.py	Fri Apr 16 18:51:12 2021 +0200
+++ b/pages/documentation/page_meta.py	Fri Apr 23 11:01:24 2021 +0200
@@ -20,18 +20,18 @@
     if allowed_docs is None:
         allowed_docs = sorted(self.getConfig("sub_docs_dict", {}).keys())
         try:
-            allowed_docs.remove('sat')
+            allowed_docs.remove('backend')
         except KeyError:
-            log.error("sat doc not available")
+            log.error("backend doc not available")
         else:
-            allowed_docs.insert(0, "sat")
+            allowed_docs.insert(0, "backend")
     try:
         doc_name = self.nextPath(request)
     except IndexError:
-        doc_name = 'sat'
+        doc_name = 'backend'
     else:
         if doc_name not in allowed_docs:
             log.warning(_("unknown doc name: {doc_name}").format(doc_name=doc_name))
-            doc_name = 'sat'
+            doc_name = 'backend'
     template_data['doc_name'] = doc_name
     template_data['all_docs'] = allowed_docs