update: Leave checking file existence to the report script.

This makes tracking file renames rather easier.

diff --git a/update b/update
index 0fadbcd..279ac19 100755 (executable)
--- a/update
+++ b/update
@@ -108,14 +108,9 @@ LINE: while (<>) {
     } else {
       defined $name or die "missing name";
     }
-  } elsif (/^ \s+ !! \s* (\S .*) $/x) {
+  } elsif (/^ \s+ (?: !! \s*)? (\S .*) $/x) {
     my $path = $1;
     defined $id or die "no active set";
-    push @path, undef;
-  } elsif (/^ \s+ (\S .*) $/x) {
-    my $path = $1;
-    defined $id or die "no active set";
-    -f "$ROOT/$path" && ! -l "$ROOT/$path" or die "file `$path' not found";
     push @path, $path;
   } elsif (/^ .* \S .* $/) {
     die "unrecognized line `$_'";