Makefile
branchcms
changeset 16 65695e59a6f9
parent 13 6325534de493
child 40 cc9a80eb647c
child 72 66bf85163780
--- a/Makefile	Tue Jul 04 21:52:14 2006 +0000
+++ b/Makefile	Fri Jul 14 14:32:38 2006 +0000
@@ -28,6 +28,7 @@
 .PHONY:	all install uninstall clean distclean dvi pdf
 
 all:	$(CHECKED) man
+	@test -x ma || chmod +x ma
 
 man:	$(MAN)