portal/cert: clarify intermediate cert requests

[hcoop/portal.git] / remind / Makefile

diff --git a/remind/Makefile b/remind/Makefile
index d36b515..706fc8c 100644 (file)
--- a/remind/Makefile
+++ b/remind/Makefile
@@ -1,4 +1,4 @@
 SMLBIN=/usr/local/sml/bin
 
 all:
-       $(SMLBIN)/ml-build sources.cm Remind.main remind
+       ml-build sources.cm Remind.main remind