diff options
author | rsiddharth <rsd@gnu.org> | 2019-06-16 12:44:27 -0400 |
---|---|---|
committer | rsiddharth <rsd@gnu.org> | 2019-06-16 12:44:27 -0400 |
commit | fa68ad8a5ca8db5d24754a85f51ddb32c1652b36 (patch) | |
tree | 747f3f74a4e67821747f1e390cf58d404c3a67c7 | |
parent | d9dae58cfd3596f0f2aad71a64301bea66115fb9 (diff) |
Makefile: venv3 -> venv.
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -38,14 +38,14 @@ upload-docs: docs .PHONY: docs upload-docs -venv3: +venv: rm -rf *.egg-info ${SHELL} -c 'if [[ -d $(VENV_DIR3) ]] then mv $(VENV_DIR3) $(VENV_DIR3).`date +%s`; fi' ${VENV_CMD} --clear --python=python3 $(VENV_DIR3) @echo 'Initialized virtualenv, run' \ 'source '$(VENV_DIR3)'/bin/activate' \ 'to activate the virtual environment' -.PHONY: venv3 +.PHONY: venv clean: clean-build clean-pyc clean-docs .PHONY: clean |