comparison: make/makefile.mk
make/makefile.mk
- changeset 1188
- b0300de92b72
- parent 1140
- 88a9ee79c102
- child 1195
- 7e7e1c0d5029
equal
deleted
inserted
replaced
| 1187:0f70bb04f7ba | 1188:b0300de92b72 |
|---|---|
| 67 | 67 |
| 68 CXX-AVAILABLE: | 68 CXX-AVAILABLE: |
| 69 test -n "$(WITH_CXX_TEST)" | 69 test -n "$(WITH_CXX_TEST)" |
| 70 | 70 |
| 71 docs: FORCE | 71 docs: FORCE |
| 72 @(test "$(WITH_DOCS_API)" = "yes" && cd docs && $(MAKE) all-api) \ | 72 @(test "$(WITH_API_DOCS)" = "yes" && cd $(root_dir); $(DOXYGEN) ) \ |
| 73 || echo "[ Generation of API Docs disabled - skipped ]" | 73 || echo "[ Generation of API Docs disabled - skipped ]" |
| 74 @(test "$(WITH_DOCS_HTML)" = "yes" && cd docs && $(MAKE) all-html) \ | |
| 75 || echo "[ Generation of HTML Docs disabled - skipped ]" | |
| 76 | 74 |
| 77 update-rules: FORCE | 75 update-rules: FORCE |
| 78 make/update-rules.sh src | 76 make/update-rules.sh src |
| 79 make/update-rules.sh tests '$$(TEST_DIR)' '-I../src' | 77 make/update-rules.sh tests '$$(TEST_DIR)' '-I../src' |
| 80 | 78 |
