From e87bfa6d8afe396d4211267e2aaa602bf21af382 Mon Sep 17 00:00:00 2001 From: Diomidis Spinellis Date: Wed, 25 Apr 2012 12:57:44 +0300 Subject: [PATCH] Tools are now on the Gygwin path --- doc/Makefile | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index ab96aad..0b461f5 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -3,9 +3,8 @@ # ROOT=/cygdrive/c -PIC2PLOT=$(ROOT)/app/plotutils/bin/pic2plot -NETPBM=$(ROOT)/app/netpbm/bin -GS=$(ROOT)/app/gs +PIC2PLOT=pic2plot +GS=gs DESTDIR=/dds/pubs/web/home/sw/umlgraph-mirror NOTETOOLS=/dds/pubs/Courses/tools GIF := $(shell sed -n 's/.*$@ + $(GS) -q -r360 -dNOPAUSE -sDEVICE=pnm -sOutputFile=- - -c quit | \ + pnmcrop | \ + pnmscale 0.25 | \ + ppmtogif >$@ all: sequence.pic $(GIF) $(XML)