add convenient dev/clean.dev targets

Author: Fabien Coelho

Makefile

@@ -10,15 +10,19 @@ F.pdf	= $(F.md:%.md=%.pdf)
 
 # cleanup and environment
 
-.PHONY: clean clean-venv
+.PHONY: clean
 clean:
 	$(RM) -r __pycache__ *.egg-info dist build .mypy_cache .pytest_cache htmlcov .ruff_cache
 	$(RM) .coverage $(F.pdf)
 	$(MAKE) -C docs clean
 
+.PHONY: clean.venv
 clean.venv: clean
 	$(RM) -r venv
 
+.PHONY: clean.dev
+clean.dev: clean.venv
+
 # venv for local testing
 PYTHON	= python
 PIP		= venv/bin/pip
@@ -28,6 +32,9 @@ venv:
 	$(PIP) install --upgrade pip
 	$(PIP) install -e .[doc,dev,pub,tests]
 
+.PHONY: dev
+dev: venv
+
 #
 # Tests
 #