diff -r 89da04901f83 -r ed399b8e9fca Makefile
--- a/Makefile	Wed Nov 29 13:41:36 2023 +0200
+++ b/Makefile	Sat Dec 16 20:53:00 2023 +0200
@@ -66,7 +66,13 @@
 
 # For SEO reason I removed tips from SF.
 .PHONY: deploy
-deploy: deploy2defun-web deploy2defun-hg # deploy2sf-web deploy2sf-hg
+deploy: deploy2defun
+
+.PHONY: deploy2defun
+deploy2defun: deploy2defun-web deploy2defun-hg
+
+.PHONY: deploy2sf
+deploy2sf: deploy2sf-web deploy2sf-hg
 
 RSYNC_FLAGS := --delete -avP -e ssh --exclude "google*.html" --exclude "BingSiteAuth.xml"