doc/Makefile
changeset 145 95d905b6e33d
equal deleted inserted replaced
0:e88041ec36f6 -1:000000000000
     1 all:
       
     2 	$(MAKE) -C ..