diff -r d10681d156f9 -r 207fb3c727cb src/work/makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/work/makefile Sat Dec 06 19:32:27 2003 +0000 @@ -0,0 +1,3 @@ +graphdemo: graphdemo.cc ../include/graph.h \ + ../include/oldgraph.h makefile + g++ -g -I../include -o graphdemo graphdemo.cc