add target to push to sourceforge dev_docs area.

rouilj · rouilj · commit e725db19590b · 2023-05-31T23:11:17.000-04:00
reqires ssh-agent with suitable keys.
diff --git a/website/www/Makefile b/website/www/Makefile
@@ -37,3 +37,6 @@ linkcheck:
 	@echo
 	@echo "Link check complete; look for any errors in the above output " \
 	      "or in .build/linkcheck/output.txt."
+
+sourceforge_dev_sync:
+	rsync -av html/. web.sourceforge.net:/home/project-web/roundup/htdocs/dev_docs/.
