diff options
author | rsiddharth <rsd@gnu.org> | 2019-05-19 11:11:22 -0400 |
---|---|---|
committer | rsiddharth <rsd@gnu.org> | 2019-05-19 11:11:22 -0400 |
commit | 46b62a446ee138d67293c1b207d76d6b05ba9223 (patch) | |
tree | 1a3d847aab53b8c6fb7414cf976bef146c58b146 | |
parent | d47ca2bb6a64d08007e709cc94d1523bb90ee82b (diff) |
Makefile: Add GNU_MAKE.
* Makefile (GNU_MAKE): New variable.
(docs): Use GNU Make.
(clean-docs): Use GNU Make.
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -5,6 +5,8 @@ # This file is part of lpschedule-generator. # +GNU_MAKE=gmake + VENV_DIR='.venv' VENV_CMD=virtualenv VENV_PREFIX=. @@ -28,7 +30,7 @@ upload: .PHONY: build-dist egg upload docs: - @$(MAKE) -C docs html + ${GNU_MAKE} -C docs html upload-docs: docs @rsync -avz --delete docs/_build/html/ $(LPSG_DOCS_HOST) @@ -65,7 +67,7 @@ clean-venv: @rm -rf .venv*/ clean-docs: - @$(MAKE) -C docs clean + ${GNU_MAKE} -C docs clean .PHONY: clean-build clean-pyc clean-venv clean-docs |