doc/Makefile
author kpeter
Tue, 05 Feb 2008 11:03:55 +0000
changeset 2560 635e7985be46
permissions -rw-r--r--
Fix the rename script.
     1 all:
     2 	$(MAKE) -C ..