Fixed Makefile for web update

darcs-hash:20080612143617-f2ef6-152e256887cc6848a9fbc70a8a6f6de3d1f3d757.gz

diff --git a/doc/Makefile b/doc/Makefile
index 075c013659628072f858a01b42151b1b7e466744..9f08bcee03338f6f017671e96d57accb07540f1d 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -39,7 +39,7 @@ clean:
 
 WWW ?= www
 
-web: $(WWW) $(addprefix $(WWW)/,index.html $(SOURCE).html $(wildcard *.png) $(SOURCE).pdf)
+web: all $(WWW) $(addprefix $(WWW)/,index.html $(SOURCE).html $(wildcard *.png) $(SOURCE).pdf)
 
 $(WWW):
        mkdir $@