Makefile.am
changeset 706 0fe42b8ec5a6
parent 663 82213c951a76
child 712 6f1abe741fb6
equal deleted inserted replaced
3:1410b4052f44 4:6cfcdace405e
    19 docs:
    19 docs:
    20 	@cd doc \
    20 	@cd doc \
    21 	&& $(MAKE) $(AM_MAKEFLAGS) clean \
    21 	&& $(MAKE) $(AM_MAKEFLAGS) clean \
    22 	&& $(MAKE) $(AM_MAKEFLAGS) html
    22 	&& $(MAKE) $(AM_MAKEFLAGS) html
    23 
    23 
       
    24 benchmark:
       
    25 	@cd src/benchmark \
       
    26 	&& $(MAKE) $(AM_MAKEFLAGS)
       
    27 
    24 mrproper:
    28 mrproper:
    25 	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
    29 	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
    26 	-rm -f $(MRPROPERFILES)
    30 	-rm -f $(MRPROPERFILES)
    27 
    31 
    28 .PHONY: docs mrproper
    32 .PHONY: docs benchmark mrproper