Makefile.am
changeset 935 73de5b1f2abc
parent 934 003736604835
child 1177 e41c2907fb49
equal deleted inserted replaced
9:00b205a816d5 10:6f62dac45a9c
    15 	src/test/Makefile.in                                            \
    15 	src/test/Makefile.in                                            \
    16 	src/benchmark/Makefile.in					\
    16 	src/benchmark/Makefile.in					\
    17 	src/demo/Makefile.in
    17 	src/demo/Makefile.in
    18 
    18 
    19 docs:
    19 docs:
    20 	@cd doc \
    20 	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
    21 	&& $(MAKE) $(AM_MAKEFLAGS) clean \
       
    22 	&& $(MAKE) $(AM_MAKEFLAGS) html
       
    23 
    21 
    24 benchmark:
    22 benchmark:
    25 	@cd src/benchmark \
    23 	$(MAKE) -C src/benchmark $(AM_MAKEFLAGS)
    26 	&& $(MAKE) $(AM_MAKEFLAGS)
       
    27 
    24 
    28 mrproper:
    25 mrproper:
    29 	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
    26 	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
    30 	-rm -f $(MRPROPERFILES)
    27 	-rm -f $(MRPROPERFILES)
    31 
    28