diff options
| author | Frank Sachsenheim <funkyfuture@riseup.net> | 2017-10-04 20:31:50 +0200 |
|---|---|---|
| committer | Frank Sachsenheim <funkyfuture@riseup.net> | 2017-10-09 22:37:27 +0200 |
| commit | b2959a91c51594560fb7342261e23b9ce9630d37 (patch) | |
| tree | d3568148ce56aad86887494a83b95afbdcf739b9 /Makefile | |
| parent | 26796f6985ec52216a0e05e4b995d1c1e7c4d597 (diff) | |
| download | sphinx-git-b2959a91c51594560fb7342261e23b9ce9630d37.tar.gz | |
Makefile: Adds a target to build docs from the root dir.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -114,3 +114,10 @@ covertest: .PHONY: build build: @$(PYTHON) setup.py build + +.PHONY: docs +docs: +ifndef target + $(info You need to give a provide a target variable, e.g. `make docs target=html`.) +endif + $(MAKE) -C doc $(target) |