Update mdbook docs domains (#484)

Author: droserasprout

.github/workflows/docs.yml

@@ -6,6 +6,8 @@ on:
       - '*.*.*'
     branches:
       - master
+      # FIXME: temporary
+      - aux/docs-root
     paths:
       - 'docs/**'
       - 'scripts/**'
@@ -50,7 +52,7 @@ jobs:
 
     - name: Build docs (docs)
       if: startsWith(github.ref, 'refs/tags') && !contains(github.ref, '-rc')
-      run: MDBOOK_ROOT=https://dipdup.net/docs make docs
+      run: MDBOOK_ROOT=https://docs.dipdup.io make docs
 
     - name: Deploy to GH Pages (docs)
       if: startsWith(github.ref, 'refs/tags') && !contains(github.ref, '-rc')
@@ -62,7 +64,7 @@ jobs:
 
     - name: Build docs (docs-next)
       if: startsWith(github.ref, 'refs/heads') || contains(github.ref, '-rc')
-      run: MDBOOK_ROOT=https://dipdup.net/docs-next make docs
+      run: MDBOOK_ROOT=https://docs-next.dipdup.io make docs
 
     - name: Deploy to GH Pages (docs-next)
       if: startsWith(github.ref, 'refs/heads') || contains(github.ref, '-rc')

docs/theme/index.hbs

@@ -123,8 +123,8 @@
                         <a class="icon-button" id="stable" href="#">stable</a>
                         <a class="icon-button" id="latest" href="#">latest</a>
                         <script type="text/javascript">
-                            document.getElementById('stable').setAttribute('href', window.location.href.replace('/docs-next/', '/docs/'));
-                            document.getElementById('latest').setAttribute('href', window.location.href.replace('/docs/', '/docs-next/'));
+                            document.getElementById('stable').setAttribute('href', window.location.href.replace('docs-next.', 'docs.'));
+                            document.getElementById('latest').setAttribute('href', window.location.href.replace('docs.', 'docs-next.'));
                         </script>
 
                     </div>