tools/Makefile
author Peter Kovacs <kpeter@inf.elte.hu>
Sat, 15 Mar 2008 23:42:33 +0100
changeset 83 3654324ec035
permissions -rw-r--r--
Improvements in groups.dox

- Apply the graph renamings.
- Apply the current map renamings.
     1 all:
     2 	$(MAKE) -C ..