updated upload target for final release
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
diff -rN -u old-branch-2-0/Makefile new-branch-2-0/Makefile
--- old-branch-2-0/Makefile 2022-09-28 10:51:45.222163421 +0200
+++ new-branch-2-0/Makefile 2022-09-28 10:51:45.222163421 +0200
@@ -14,7 +14,7 @@
upload:
darcs push wwwcsr@www-csr.bessy.de:www/control/SoftDist/sequencer/branch-2-0-13
- darcs dist -d seq-2.0.13-rc1
- rsync seq-2.0.13-rc1.tar.gz wwwcsr@www-csr.bessy.de:www/control/SoftDist/sequencer/releases/
+ darcs dist -d seq-2.0.13
+ rsync seq-2.0.13.tar.gz wwwcsr@www-csr.bessy.de:www/control/SoftDist/sequencer/releases/
.PHONY: upload
patch 8d3d21f52de362483db54ce80b82be59136c3b3e
Author: benjamin.franksen@helmholtz-berlin.de
Date: Sat May 7 13:57:39 CEST 2011
* updated upload target for final releas