diff --git a/misc/merge_js.sh b/misc/merge_js.sh index a96f27b7780f436c35da5a53aac70c9caf520251..375529fe472a05caafb12981a6fb17aef0ae8db9 100755 --- a/misc/merge_js.sh +++ b/misc/merge_js.sh @@ -22,6 +22,15 @@ # ** end header # This file can be used to merge js files together. +# +# call: `./merge_js.sh [JS_FILE]*` +# where the JS_FILE are the files which will be merged into the resulting +# `public/webcaosdb.dist.js` in the order they appear in the command line +# call. See `Makefile` for an example. +# +# All other files in `public/js` are appended to the resulting file in no +# particular order. + CORE_MODULES=$@ SOURCE_DIR=public/js/