diff Makefile.in @ 1847:8958b580d026

Change Name_js to skip code snippets that depend on the CSRF-protection signature
author Adam Chlipala <adam@chlipala.net>
date Mon, 01 Apr 2013 10:13:49 -0400
parents 052c5eedc9ea
children 2eabe66daef6
line wrap: on
line diff
--- a/Makefile.in	Tue Mar 19 19:10:31 2013 -0400
+++ b/Makefile.in	Mon Apr 01 10:13:49 2013 -0400
@@ -745,7 +745,7 @@
 
 .PHONY: smlnj mlton package reauto
 
-smlnj: src/urweb.cm
+smlnj: src/urweb.cm xml/entities.sml
 mlton: bin/urweb
 
 clean-local: