Various fixes to documentation---typos, some incomplete documentation fixed, \file tags corrected, copyright added to files that had it missing, etc.

I ensured that I didn't change any code with this commit, and even tested on the cluster to be doubly sure:

  http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=4655&reference_id=4646&p=0

1 files changed, 52 insertions, 0 deletions

diff --git a/contrib/extract-strings-and-comments b/contrib/extract-strings-and-comments
new file mode 100755
index 000000000..a6670c1e9
--- /dev/null
+++ b/contrib/extract-strings-and-comments
@@ -0,0 +1,52 @@
+#!/usr/bin/perl -0777
+
+my $debug = 0;
+
+$_ = <>;
+my $comments = "";
+my $code = "";
+
+# ignore strings and comments appearing in preprocessor directives
+s/^#.*//mg;
+
+for(;;) {
+  s,^([^"/]+),,;
+  $code .= "$1\n";
+
+  if(m,^([^"]*)"",) {
+    s,^([^"]*)"",,s;
+    $code .= "$1\n";
+    next;
+  }
+  if(m,^([^"]*)"([^"]*)",) {
+    s,^([^"]*)"(([^\\"]*?([^\\"]|(\\.)))+)",,s;
+    print STDERR "quote: $2\n" if $debug;
+    $code .= "$1\n";
+    $comments .= "$2\n";
+    next;
+  }
+  if(m,/\*.*?\*/,) {
+    s,/\*(.*?)\*/,,s;
+    print STDERR "c-style comment: $1\n" if $debug;
+    $comments .= "$1\n";
+    print STDERR "REMAINDER:\n===========================\n$_\n=========================\n" if $debug;
+    next;
+  }
+  if(m,//,) {
+    s,//([^\n]*),,s;
+    print STDERR "c++-style comment: $1\n" if $debug;
+    $comments .= "$1\n";
+    print STDERR "REMAINDER:\n===========================\n$_\n=========================\n" if $debug;
+    next;
+  }
+  last;
+}
+
+$code .= "$_\n";
+$code =~ s,\W+,\n,g;
+$code =~ s,^,@,gm;
+print "$code\n";
+
+$comments =~ s,^,^,gm;
+print "$comments\n";
+