doc/Makefile
author deba
Wed, 26 Sep 2007 14:37:48 +0000
changeset 2475 1e9cc7b2eabc
permissions -rw-r--r--
Generate tools documentation
     1 all:
     2 	$(MAKE) -C ..