From fc95f43bde686e4f62d3d1b464f9f98ef4fbe2f7 Mon Sep 17 00:00:00 2001
From: Emmanuel Lepage Vallee <elv1313@gmail.com>
Date: Sat, 27 Aug 2022 17:08:03 -0700
Subject: [PATCH] doc: Add logging to _postprocess.lua.

Try to find why it works locally, but not on GitHub.
---
 tests/examples/_postprocess.lua | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tests/examples/_postprocess.lua b/tests/examples/_postprocess.lua
index 363cc054a..009e19a4a 100755
--- a/tests/examples/_postprocess.lua
+++ b/tests/examples/_postprocess.lua
@@ -7,6 +7,13 @@
 
 local input, output = ...
 
+if (not input) or (not output) then
+    io.stderr:write("_postprocess.lua require <input> and <output>\n")
+    io.stderr:write("Got input: "..tostring(input).."\n")
+    io.stderr:write("Got output: "..tostring(output).."\n")
+    os.exit(0)
+end
+
 -- The second 24bit is just the 32 bit converted to #010001 and back.
 local FOREGROUNDS = {
     "rgb[(]0[.]5%%,0%%,0[.]5%%[)];",