summaryrefslogtreecommitdiffstats
path: root/docs/manual/style/scripts/MINIFY
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--docs/manual/style/scripts/MINIFY5
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