aboutsummaryrefslogtreecommitdiffstats
path: root/fixman.jq
diff options
context:
space:
mode:
authorBenjamin Tietz <benjamin@micronet24.de>2018-11-28 20:20:54 +0100
committerGuilhem Moulin <guilhem@fripost.org>2020-08-03 21:54:29 +0200
commit0cf8517bea1e939d7054e682cde24767e7ed6e04 (patch)
tree4dff753ccb0b24ccdb838bc684c7f487bce7deb4 /fixman.jq
parent89f8c948d7b39314d7fc997643874adc6be92462 (diff)
factor out jq-script from Makefile
the script is just a plain copy, but now accessible without make
Diffstat (limited to 'fixman.jq')
-rwxr-xr-xfixman.jq26
1 files changed, 26 insertions, 0 deletions
diff --git a/fixman.jq b/fixman.jq
new file mode 100755
index 0000000..3524420
--- /dev/null
+++ b/fixman.jq
@@ -0,0 +1,26 @@
+#!/usr/bin/jq -f
+def fixheaders:
+ if .t == "Header" then
+ .c[2][] |= (if .t == "Str" then .c |= ascii_upcase else . end)
+ else
+ .
+ end;
+
+def fixlinks:
+ if type == "object" then
+ if .t == "Link" then
+ if .c[2][0][0:7] == "mailto:" then . else .c[1][] end
+ else
+ map_values(fixlinks)
+ end
+ else if type == "array" then
+ map(fixlinks)
+ else
+ .
+ end
+ end;
+
+{ "pandoc-api-version"
+, meta
+, blocks: .blocks | map(fixheaders) | map(fixlinks)
+}