Added PDF manual to web.

darcs-hash:20071023132546-f2ef6-363b914bde5f651cac8e47088021464eb2492eb2.gz

diff --git a/doc/Makefile b/doc/Makefile
index 945fcd67d0bd475d660ba1d604f2cfe8045ccb88..0e10dacf8fc0fab6294bff56a69520b53f83c1ee 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -29,7 +29,7 @@ clean:
 
 WWW ?= www
 
-web: $(WWW) $(addprefix $(WWW)/,index.html $(SOURCE).html $(wildcard *.png))
+web: $(WWW) $(addprefix $(WWW)/,index.html $(SOURCE).html $(wildcard *.png) $(SOURCE).pdf)
 
 $(WWW):
        mkdir $@