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 ..