diff options
author | rsiddharth <rsd@gnu.org> | 2020-07-09 22:32:01 -0400 |
---|---|---|
committer | rsiddharth <rsd@gnu.org> | 2020-07-09 22:32:01 -0400 |
commit | 96ae45e767c123044bc43d9f84d045547171ba91 (patch) | |
tree | f49d5109ad14addadf514750a44ddd1a22961fb3 | |
parent | a7671d65777ae4893a1e3611e2d9a923dc84c57a (diff) |
Makefile: dev-env -> dev
-rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -70,7 +70,7 @@ clean-docs: .PHONY: clean-build clean-pyc clean-venv clean-docs -dev-env: - pip install -r requirements.txt +dev: python setup.py develop -.PHONY: dev-env + pip install -r requirements.txt +.PHONY: dev |