1 files changed, 1 insertions, 1 deletions
diff --git a/users/aspen/web/orgExportHTML.nix b/users/aspen/web/orgExportHTML.nix
index aac4e32e7ac5..3a8e35f22d17 100644
--- a/users/aspen/web/orgExportHTML.nix
+++ b/users/aspen/web/orgExportHTML.nix
@@ -51,7 +51,7 @@ runCommand outName { inherit src; } ''
       --kill
     rm file.org
     substitute file.html "$2" \
-      --replace '<title>&lrm;</title>' ""
+      --replace-quiet '<title>&lrm;</title>' ""
     rm file.html
   }