Small updates to Makefile

This commit is contained in:
2023-06-09 10:57:41 -05:00
parent 8dd5bb416b
commit 25728f5512

View File

@@ -21,8 +21,8 @@ dist-upload:
docs: docs:
rm -rf ../docs/$(VERSION) rm -rf ../docs/$(VERSION)
cd docs; make clean; make dirhtml cd docs; make dirhtml
rsync -avP --delete-after docs/_build/dirhtml/ ../docs/$(VERSION) rsync -avP --delete-after docs/_build/dirhtml/ ../docs/$(VERSION)/
install-deps: install-deps:
$(PIP) install --upgrade pip $(PIP) install --upgrade pip