doc/Makefile
author kpeter
Tue, 04 Dec 2007 18:51:35 +0000
changeset 2532 06495c0e12f5
permissions -rw-r--r--
Bug fixes in the rename script.
     1 all:
     2 	$(MAKE) -C ..