diff options
fix(generate.sh): Make tiny website generation use sed instead of AWK
Sed is slower (by like 20ms) than AWK, but it seems my "print >
FILENAME" trick doesn't always work (or at least it didn't work on my
server's versions of mawk and gawk).
0 files changed, 0 insertions, 0 deletions