comparison 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
comparison
equal deleted inserted replaced
1846:bcae365efa85 1847:8958b580d026
743 743
744 all-local: smlnj mlton 744 all-local: smlnj mlton
745 745
746 .PHONY: smlnj mlton package reauto 746 .PHONY: smlnj mlton package reauto
747 747
748 smlnj: src/urweb.cm 748 smlnj: src/urweb.cm xml/entities.sml
749 mlton: bin/urweb 749 mlton: bin/urweb
750 750
751 clean-local: 751 clean-local:
752 rm -f src/*.mlton.grm.* src/*.mlton.lex.* \ 752 rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
753 src/urweb.cm src/urweb.mlb xml/parse xml/entities.sml 753 src/urweb.cm src/urweb.mlb xml/parse xml/entities.sml