From 6155f7e59834f17ebc78e5d342f1a52144a4e5de Mon Sep 17 00:00:00 2001
From: Hans Fast <hans@hansfast.net>
Date: Sun, 22 Mar 2026 15:08:47 +0100
Subject: [PATCH] pipeline.ori: don't add html ext in the first place

---
 pipeline.ori | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pipeline.ori b/pipeline.ori
index 2a62bcd..fa20fc3 100644
--- a/pipeline.ori
+++ b/pipeline.ori
@@ -33,7 +33,7 @@
     */
     asHtml: Tree.map(all ? withfndata: pubfiles, {
       value: (value) => Origami.mdHtml(value)
-      key: (value, key) => `${value.fnd.name}.html`
+      key: (value, key) => `${value.fnd.name}`
     })
 
     /*
@@ -50,7 +50,7 @@
     then final output is `withSummary`, otherwise it's `privateRemoved`.
     */
     privateRemoved: Tree.map(withSummary, removePrivate.js)
-    final: (all ? withSummary : privateRemoved ) → (tree) => Tree.mapExtension(tree, '.html→')
+    final: (all ? withSummary : privateRemoved )
   
 
   renderedPages: Tree.map(final, (page) => <page.ori>(page, all))