equal
deleted
inserted
replaced
34 test/Makefile.in \ |
34 test/Makefile.in \ |
35 benchmark/Makefile.in \ |
35 benchmark/Makefile.in \ |
36 demo/Makefile.in \ |
36 demo/Makefile.in \ |
37 gui/Makefile.in |
37 gui/Makefile.in |
38 |
38 |
|
39 doc-clean: |
|
40 $(MAKE) -C doc $(AM_MAKEFLAGS) clean html |
|
41 |
39 docs: |
42 docs: |
40 $(MAKE) -C doc $(AM_MAKEFLAGS) clean html |
43 -rm -f doc/html/index.html |
|
44 $(MAKE) -C doc $(AM_MAKEFLAGS) html |
|
45 |
|
46 doc: docs |
41 |
47 |
42 benchmark: |
48 benchmark: |
43 $(MAKE) -C benchmark $(AM_MAKEFLAGS) |
49 $(MAKE) -C benchmark $(AM_MAKEFLAGS) |
44 |
50 |
45 mrproper: |
51 mrproper: |