comparison: make/makefile.mk
make/makefile.mk
- branch
- docs/3.1
- changeset 1140
- 88a9ee79c102
- parent 988
- 15b3ca7ee33f
equal
deleted
inserted
replaced
| 1139:7dfa5bcf39ee | 1140:88a9ee79c102 |
|---|---|
| 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 |
