$(DEST)/doc/user-manual: $(DEST)/doc $(SOURCE)/doc/webserver/user-manual/index.html
test -d $(DEST)/doc/user-manual || mkdir $(DEST)/doc/user-manual
cp $(SOURCE)/doc/webserver/user-manual/*.html $(DEST)/doc/user-manual/
$(DEST)/doc/user-manual: $(DEST)/doc $(SOURCE)/doc/webserver/user-manual/index.html
test -d $(DEST)/doc/user-manual || mkdir $(DEST)/doc/user-manual
cp $(SOURCE)/doc/webserver/user-manual/*.html $(DEST)/doc/user-manual/