diff options
author | Tor Andersson <tor.andersson@artifex.com> | 2018-04-24 11:43:28 +0200 |
---|---|---|
committer | Tor Andersson <tor.andersson@artifex.com> | 2018-04-25 12:26:33 +0200 |
commit | 5be6d3c8cbf8aa8cd5120a0f7b5ae4c55428a3fa (patch) | |
tree | 2cb2d221a808120d6e3fa7daeb0ee1333f76588c /scripts | |
parent | 3099275bf233f55d73d7ce93aa19e85b8e4f8cf0 (diff) | |
download | mupdf-5be6d3c8cbf8aa8cd5120a0f7b5ae4c55428a3fa.tar.xz |
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.
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/jsdump.sed | 5 | ||||
-rw-r--r-- | scripts/runjsdump.sh | 6 |
2 files changed, 11 insertions, 0 deletions
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 |