Makefile.am
changeset 762 511200bdb71f
parent 704 f450618b8f98
child 796 b0a427f60edb
equal deleted inserted replaced
4:6cfcdace405e 5:55c691b8f8a8
    12 	config/mkinstalldirs						\
    12 	config/mkinstalldirs						\
    13 	doc/Makefile.in							\
    13 	doc/Makefile.in							\
    14 	doc/doxygen.log							\
    14 	doc/doxygen.log							\
    15 	src/Makefile.in							\
    15 	src/Makefile.in							\
    16 	src/hugo/Makefile.in						\
    16 	src/hugo/Makefile.in						\
    17 	src/test/Makefile.in
    17 	src/test/Makefile.in                                            \
       
    18 	src/benchmark
    18 
    19 
    19 docs:
    20 docs:
    20 	@cd doc \
    21 	@cd doc \
    21 	&& $(MAKE) $(AM_MAKEFLAGS) clean \
    22 	&& $(MAKE) $(AM_MAKEFLAGS) clean \
    22 	&& $(MAKE) $(AM_MAKEFLAGS) html
    23 	&& $(MAKE) $(AM_MAKEFLAGS) html