equal
deleted
inserted
replaced
11 doc/Makefile.in \ |
11 doc/Makefile.in \ |
12 doc/doxygen.log \ |
12 doc/doxygen.log \ |
13 src/Makefile.in \ |
13 src/Makefile.in \ |
14 src/hugo/Makefile.in \ |
14 src/hugo/Makefile.in \ |
15 src/test/Makefile.in \ |
15 src/test/Makefile.in \ |
16 src/benchmark |
16 src/benchmark/Makefile.in |
17 |
17 |
18 docs: |
18 docs: |
19 @cd doc \ |
19 @cd doc \ |
20 && $(MAKE) $(AM_MAKEFLAGS) clean \ |
20 && $(MAKE) $(AM_MAKEFLAGS) clean \ |
21 && $(MAKE) $(AM_MAKEFLAGS) html |
21 && $(MAKE) $(AM_MAKEFLAGS) html |