Merge pull request Uberspace#1225 from Uberspace/remove-html-from-link

[meta] remove .html from URLs
tstahn · Apr 13, 2022 · bb836e9 · bb836e9
2 parents a9abeb1 + a9b3500
commit bb836e9
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/netlify.toml b/netlify.toml
@@ -1,3 +1,7 @@
+[build]
+  publish = "build/dirhtml"
+  command = "make dirhtml"
+
 [[redirects]]
   from = "/en/*"
   to = "/:splat"
diff --git a/source/conf.py b/source/conf.py
@@ -88,10 +88,10 @@
 # By setting an empty string as the second tuple element, the display text
 # is the same as the target by default.
 extlinks = {
-    "manual": ("https://manual.uberspace.de/%s.html", ""),
+    "manual": ("https://manual.uberspace.de/%s", ""),
     "manual_anchor": ("https://manual.uberspace.de/%s", ""),
-    "lab": ("%s.html", ""),
-    "lab_anchor": ("%s", ""),
+    "lab": ("/%s", ""),
+    "lab_anchor": ("/%s", ""),
 }