Makefile.am
changeset 1452 9a9acf30dbae
parent 1450 11a35ece69c7
child 1455 58d733dd1c98
equal deleted inserted replaced
18:752c694c6553 19:c32de0454b68
    37 	gui/Makefile.in
    37 	gui/Makefile.in
    38 
    38 
    39 doc-clean:
    39 doc-clean:
    40 	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
    40 	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
    41 
    41 
    42 docs:
    42 doc:
    43 	-rm -f doc/html/index.html
    43 	-rm -f doc/html/index.html
    44 	$(MAKE) -C doc $(AM_MAKEFLAGS) html
    44 	$(MAKE) -C doc $(AM_MAKEFLAGS) html
    45 
       
    46 doc: docs
       
    47 
    45 
    48 benchmark:
    46 benchmark:
    49 	$(MAKE) -C benchmark $(AM_MAKEFLAGS)
    47 	$(MAKE) -C benchmark $(AM_MAKEFLAGS)
    50 
    48 
    51 mrproper:
    49 mrproper:
    52 	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
    50 	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
    53 	-rm -f $(MRPROPERFILES)
    51 	-rm -f $(MRPROPERFILES)
    54 
    52 
    55 .PHONY: docs benchmark mrproper
    53 .PHONY: doc benchmark mrproper