equal
deleted
inserted
replaced
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 |