diff options
Diffstat (limited to 'docs/manual/style/scripts/MINIFY')
| -rw-r--r-- | docs/manual/style/scripts/MINIFY | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/manual/style/scripts/MINIFY b/docs/manual/style/scripts/MINIFY new file mode 100644 index 0000000..2c1efc3 --- /dev/null +++ b/docs/manual/style/scripts/MINIFY @@ -0,0 +1,5 @@ +#!/bin/sh + +(echo '// see prettify.js for copyright, license and expanded version'; python -mrjsmin <prettify.js) >prettify.min.js + +# needs python and rjsmin installed |