added upload (to the web server) as make target
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
diff -rN -u old-highland/Makefile new-highland/Makefile
--- old-highland/Makefile 2022-09-28 12:26:17.746090518 +0200
+++ new-highland/Makefile 2022-09-28 12:26:17.746090518 +0200
@@ -3,3 +3,9 @@
include $(TOP)/configure/CONFIG
DIRS := configure $(wildcard *App)
include $(TOP)/configure/RULES_TOP
+
+upload: distclean
+ darcs dist -d highland$(shell darcs show tags|head -1|tr - .|tr R -)
+ rsync -r --delete . wwwcsr@www-csr.bessy.de:www/control/SoftDist/highland
+
+.PHONY: upload
patch afcc461ab40f8f676da54a47802845172e373123
Author: ben.franksen@online.de
Date: Fri Oct 8 21:26:53 CEST 2010
* added upload (to the web server) as make targe