diff options
author | simonmar <unknown> | 2003-07-28 13:30:35 +0000 |
---|---|---|
committer | simonmar <unknown> | 2003-07-28 13:30:35 +0000 |
commit | 70e137ead1809516991ff4152842be08561404ee (patch) | |
tree | eb98f9a1515f15397165846e6293c260d8f0b957 /examples/Makefile | |
parent | b0856e7d7185f86245846d574cdea943621adc4f (diff) |
[haddock @ 2003-07-28 13:30:35 by simonmar]
Add tests for a couple of bugs.
Diffstat (limited to 'examples/Makefile')
-rw-r--r-- | examples/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/Makefile b/examples/Makefile index 7fd20f45..034358ec 100644 --- a/examples/Makefile +++ b/examples/Makefile @@ -6,4 +6,6 @@ all :: index.html index.html : $(HS_SRCS) $(HADDOCK_INPLACE) $(HADDOCK_INPLACE) -h $(HS_SRCS) +CLEAN_FILES += index.html + include $(TOP)/mk/target.mk |