| # | |
| # Top level makefile for things not covered by cmake | |
| # | |
| ifeq ($(VERBOSE),1) | |
| Q = | |
| else | |
| Q = @ | |
| endif | |
| MAKEFLAGS += --no-print-directory | |
| export Q | |
| # Documentation targets | |
| # --------------------------------------------------------------------------- | |
| htmldocs: | |
| $(Q)$(MAKE) -C doc htmldocs |