equal
deleted
inserted
replaced
37 gui/Makefile.in |
37 gui/Makefile.in |
38 |
38 |
39 doc-clean: |
39 doc-clean: |
40 $(MAKE) -C doc $(AM_MAKEFLAGS) clean html |
40 $(MAKE) -C doc $(AM_MAKEFLAGS) clean html |
41 |
41 |
42 docs: |
42 doc: |
43 -rm -f doc/html/index.html |
43 -rm -f doc/html/index.html |
44 $(MAKE) -C doc $(AM_MAKEFLAGS) html |
44 $(MAKE) -C doc $(AM_MAKEFLAGS) html |
45 |
|
46 doc: docs |
|
47 |
45 |
48 benchmark: |
46 benchmark: |
49 $(MAKE) -C benchmark $(AM_MAKEFLAGS) |
47 $(MAKE) -C benchmark $(AM_MAKEFLAGS) |
50 |
48 |
51 mrproper: |
49 mrproper: |
52 $(MAKE) $(AM_MAKEFLAGS) maintainer-clean |
50 $(MAKE) $(AM_MAKEFLAGS) maintainer-clean |
53 -rm -f $(MRPROPERFILES) |
51 -rm -f $(MRPROPERFILES) |
54 |
52 |
55 .PHONY: docs benchmark mrproper |
53 .PHONY: doc benchmark mrproper |