From edae9bd593baacb8d21c57246b6f4ef37cb49cba Mon Sep 17 00:00:00 2001
From: Diomidis Spinellis <dds@aueb.gr>
Date: Thu, 29 Nov 2007 13:34:57 +0000
Subject: [PATCH] Update for moving to http://www.umlgraph.org

---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 41ec216..ab96aad 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,7 +6,7 @@ ROOT=/cygdrive/c
 PIC2PLOT=$(ROOT)/app/plotutils/bin/pic2plot
 NETPBM=$(ROOT)/app/netpbm/bin
 GS=$(ROOT)/app/gs
-DESTDIR=/dds/pubs/web/home/sw/umlgraph
+DESTDIR=/dds/pubs/web/home/sw/umlgraph-mirror
 NOTETOOLS=/dds/pubs/Courses/tools
 GIF := $(shell sed -n 's/.*<img *src *= *"\([^.]*\.gif\)".*/\1/p' *.xml)
 XML := $(wildcard *.xml)