From f42d2e2b61811e9f38a46828ed454445ac3c216d Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sun, 20 Dec 2020 11:03:21 -0800
Subject: [PATCH] ;doc: info: drop standalone headers again, they break things

---
 Shake.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Shake.hs b/Shake.hs
index 8a2667fb9..6122758f4 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -448,7 +448,10 @@ main = do
           "--lua-filter tools/pandoc-drop-html-blocks.lua"
           "--lua-filter tools/pandoc-drop-html-inlines.lua"
           "--lua-filter tools/pandoc-drop-links.lua"
-          "-t texinfo -s |"
+          -- add "standalone" headers ? sounds good for setting text encoding,
+          -- but messes up quotes ('a' becomes ^Xa^Y)
+          -- "-s"
+          "-t texinfo |"
           makeinfo "-o" out