From bfb80d6f8b0773951c4aba8d6d12f621e096b074 Mon Sep 17 00:00:00 2001 From: Michal Sojka Date: Thu, 12 Jun 2008 14:36:00 +0000 Subject: [PATCH] Fixed Makefile for web update darcs-hash:20080612143617-f2ef6-152e256887cc6848a9fbc70a8a6f6de3d1f3d757.gz --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 075c013..9f08bce 100644 --- 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 $@ -- 2.39.2