Tweaked

diff --git a/website/Makefile b/website/Makefile
index 78458462f7490379a81985c51c58a40013a6319d..f5386a843ebb5703d133c68fad3798a9cf0c3a78 100644 (file)
--- a/website/Makefile
+++ b/website/Makefile
@@ -11,8 +11,6 @@ all:
        make -C extensions jars
 
 distrib:
-       make -C example clean
-       make -C example TEXTONLY=1 clean
        make -C example all
        $(CVS2LOG) -w
 ifeq ($(DIFFVER),)
@@ -29,7 +27,7 @@ else
 endif
        make distrib
 
-zip: distrib
+zip:
 ifeq ($(ZIPVER),)
        @echo You must specify ZIPVER for the zip target
 else