Remove unused Makefile target

This commit is contained in:
Hugo Osvaldo Barrera 2021-04-06 18:39:34 +02:00
parent 55af4eaf80
commit 1f066ca6ca

View file

@ -116,12 +116,4 @@ install-dev:
pip install -U --force-reinstall $$(python setup.py --quiet minimal_requirements); \
fi
ssh-submodule-urls:
git submodule foreach "\
echo -n 'Old: '; \
git remote get-url origin; \
git remote set-url origin \$$(git remote get-url origin | sed -e 's/https:\/\/github\.com\//git@github.com:/g'); \
echo -n 'New URL: '; \
git remote get-url origin"
.PHONY: docs