1 files changed, 6 insertions, 1 deletions
diff --git a/share/server/mainjs.sh b/share/server/mainjs.sh
index d8c1798d..63c08fe1 100755
--- a/share/server/mainjs.sh
+++ b/share/server/mainjs.sh
@@ -12,7 +12,12 @@
 # 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 \
@@ -20,5 +25,5 @@ cat \
   validate.js \
   views.js \
   loop.js \
-  > main.js
+  >> $TARGET
 cd ..
 \ No newline at end of file