From 1fd2c1e280d09263e64eac5d72d44f110a99b5f7 Mon Sep 17 00:00:00 2001 From: Diomidis Spinellis Date: Tue, 17 Jan 2006 15:10:20 +0000 Subject: [PATCH] Add command for generating bib.xml --- doc/Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index bde890d..d117076 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -6,10 +6,10 @@ PIC2PLOT=/app/plotutils/bin/pic2plot NETPBM=/app/netpbm/bin GS=/app/gs DESTDIR=/dds/pubs/web/home/sw/umlgraph -THREAD=/dds/pubs/courses/intro/thread.pl +NOTETOOLS=/dds/pubs/courses/tools GIF := $(shell sed -n 's/.*$@