;doc: info: drop standalone headers again, they break things

2020-12-20 11:03:21 -08:00 · 2020-12-20 11:03:21 -08:00 · f42d2e2b61
commit f42d2e2b61
parent 18303bd3d2
1 changed files with 4 additions and 1 deletions
--- 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