diff options
author | Thomas Voss <mail@thomasvoss.com> | 2023-10-29 22:39:48 +0100 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2023-10-29 22:39:48 +0100 |
commit | 9cad508b5c98ca1029460807249cafb712f28f1e (patch) | |
tree | 2ad62d1ca57b7dc691550865cb7fb0b55c26da34 /scripts/gen-ecoin | |
parent | c88b4c2d0842dfbb32fa744dde781601b9e4e7cf (diff) |
Migrate the site to GSP and a Makefile
Diffstat (limited to 'scripts/gen-ecoin')
-rwxr-xr-x | scripts/gen-ecoin | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/scripts/gen-ecoin b/scripts/gen-ecoin new file mode 100755 index 0000000..9d39205 --- /dev/null +++ b/scripts/gen-ecoin @@ -0,0 +1,12 @@ +#!/bin/sh + +gawk -v CC=$1 ' +BEGIN { + FS = "\t" + CC = toupper(CC) +} + +$1 == CC { + printf "tr {td{-%s} td{-%s} td .have colspan=\"5\" {-%s}}", $2, $3, $4 +} +' data/errors |