diff options
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 |