Join script should rule out retired usernames
[bpt/portal.git] / static / Makefile
CommitLineData
27e48ace
AC
1SMLBIN=/usr/local/sml/bin
2
3all:
4 $(SMLBIN)/ml-build sources.cm Gen.main gen