bin/sign: More care with replacing the old publish directory.

Don't delete the old backup or try to rename if there isn't a good newer
version.  It'll fail, and clobber the only good version we have.

diff --git a/bin/sign b/bin/sign
index 5e75ea93a1f7b55834b94b1d5557a9116f9baf54..833c2a1a7a57ec29cc55368f8e5bfed679a0127c 100755 (executable)
--- a/bin/sign
+++ b/bin/sign
@@ -73,7 +73,9 @@ rm publish.new/hosts.list
 run_gpg --export --armor -o publish.new/ca-gnupg.asc
 
 ## Done.
-rm -rf publish.old
-mv publish publish.old
+if [ -d publish ]; then
+  rm -rf publish.old
+  mv publish publish.old
+fi
 mv publish.new publish
 rm -rf publish.old