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