From 16edff2185e49fe2c6e3b6940b6c2bab951b97db Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Sun, 15 Jun 2008 17:08:28 +0000
Subject: [PATCH] Update reindex script to check filename lines.

svn:r15278
---
 doc/spec/proposals/reindex.pl | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/spec/proposals/reindex.pl b/doc/spec/proposals/reindex.pl
index adffbd7f11..be1ef1ffc4 100755
--- a/doc/spec/proposals/reindex.pl
+++ b/doc/spec/proposals/reindex.pl
@@ -22,6 +22,7 @@ for my $f (@files) {
     my $num = substr($f, 0, 3);
     my $status = undef;
     my $title = undef;
+    my $alleged_fname = undef;
     if ($f !~ /\.txt/) { print "$f doesn't end with .txt\n"; }
     open(F, "$f");
     while (<F>) {
@@ -30,6 +31,10 @@ for my $f (@files) {
 	    $status = uc $1;
 	    chomp $status;
 	}
+	if (/^Filename: (.*)/) {
+	    $alleged_fname = $1;
+	    chomp $alleged_fname;
+	}
 	if (/^Title: (.*)/) {
 	    $title = $1;
 	    $title =~ s/\.$//;
@@ -41,6 +46,9 @@ for my $f (@files) {
 	unless (grep(/$status/, @KNOWN_STATUSES) == 1);
     die "Proposal $num has a bad status line" if (!defined $status);
     die "Proposal $num has a bad title line" if (!defined $title);
+    die "Proposal $num has no Filename line" unless (defined $alleged_fname);
+    die "Proposal $num says its fname is $alleged_fname, but it's really $f"
+	if ($alleged_fname ne $f);
     $title{$num} = $title;
     $status{$num} = $status;
 }