diff options
Diffstat (limited to 'share/server/mainjs.sh')
-rwxr-xr-x | share/server/mainjs.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/share/server/mainjs.sh b/share/server/mainjs.sh deleted file mode 100755 index 63c08fe1..00000000 --- a/share/server/mainjs.sh +++ /dev/null @@ -1,29 +0,0 @@ -#! /bin/sh -e - -# Licensed under the Apache License, Version 2.0 (the "License"); you may not -# use this file except in compliance with the License. You may obtain a copy of -# the License at -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT -# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the -# License for the specific language governing permissions and limitations under -# the License. - -TARGET="main.js" - -cd server -echo "// Generated from *.js by makejs.sh on `date`" > $TARGET -echo "// DO NOT EDIT BY HAND\n" >> $TARGET - -cat \ - render.js \ - state.js \ - util.js \ - validate.js \ - views.js \ - loop.js \ - >> $TARGET -cd ..
\ No newline at end of file |