From 5be6d3c8cbf8aa8cd5120a0f7b5ae4c55428a3fa Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Tue, 24 Apr 2018 11:43:28 +0200 Subject: Check in generated Javascript source files. Use a sed script to strip comments and whitespace and add escapes and quote it as a C string literal. --- scripts/jsdump.sed | 5 +++++ scripts/runjsdump.sh | 6 ++++++ 2 files changed, 11 insertions(+) create mode 100644 scripts/jsdump.sed create mode 100644 scripts/runjsdump.sh (limited to 'scripts') diff --git a/scripts/jsdump.sed b/scripts/jsdump.sed new file mode 100644 index 00000000..5babe1f1 --- /dev/null +++ b/scripts/jsdump.sed @@ -0,0 +1,5 @@ +s!//.*!! +s/^[ \t]*// +s/\\/\\\\/g +s/"/\\"/g +s/.*/"&\\n"/ diff --git a/scripts/runjsdump.sh b/scripts/runjsdump.sh new file mode 100644 index 00000000..13eafdd9 --- /dev/null +++ b/scripts/runjsdump.sh @@ -0,0 +1,6 @@ +#!/bin/bash +for f in source/pdf/js/*.js +do + echo Dumping $f + sed -f scripts/jsdump.sed < $f > $f.h +done -- cgit v1.2.3