diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/share/Makefile.am b/share/Makefile.am index 684b57b4..5214b7a7 100644 --- a/share/Makefile.am +++ b/share/Makefile.am @@ -22,9 +22,10 @@ MAKEJS_FILES = \ all: server/main.js server/main.js: $(MAKEJS_FILES) + @echo "Generating main.js" @echo "// Generated from *.js by make on `date`" > server/main.js - @echo "// DO NOT EDIT BY HAND\n" >> server/main.js @cat $(MAKEJS_FILES) >> server/main.js + @echo "// DO NOT EDIT BY HAND\n" >> server/main.js CLEANFILES = server/main.js |