From 664bc8f53424b278c17483feb0a44a19cefee552 Mon Sep 17 00:00:00 2001 From: bjorn Date: Thu, 14 Aug 2008 07:57:50 +0000 Subject: [PATCH] Added .PHONY to lib/resource/Makefile --- lib/resource/Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lib/resource/Makefile b/lib/resource/Makefile index 518942093..3a31d8566 100644 --- a/lib/resource/Makefile +++ b/lib/resource/Makefile @@ -1,6 +1,8 @@ RUNGHC=runghc RUNMAKE=$(RUNGHC) Make.hs +.PHONY: all present alltenses lang api math test demo synopsis link clean + all: link present alltenses math present: @@ -23,6 +25,9 @@ math: test: $(RUNMAKE) test +demo: + $(RUNMAKE) demo + synopsis: cd doc ; $(RUNGHC) MkSynopsis ; cd ..