Generate a PDF with the all the current sheets.

- scripts/schhist2web: don't generate PDF for sheets that no longer exist
  at HEAD
- scripts/schhist2web: generate a PDF containing all sheets existing at
  HEAD
- scripts/schps2pdf: prefix was set to the wrong argument
- scripts/schps2pdf: removed left-over (and functionless) cat into gs
- scripts/schps2pdf: corrected quoting of the TOC entry

scripts/schps2pdf

@@ -32,7 +32,7 @@ while true; do
 	shift 2;;
     -t)	[ -z "$2" ] && usage
 	toc=true
-	prefix="$1"
+	prefix="$2"
 	shift 2;;
     -*)
 	usage;;
@@ -44,9 +44,8 @@ done
 in=${1:--}
 shift
 
-cat "$in" |
-  eval gs -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=\""$out\"" -f \
-    `for n in "$in" "$@"; do \
-      name=\`basename "$n" .ps\` \
-      echo "<($toc && echo '[ /Title (${name#$prefix}) /OUT pdfmark';
-      cat \"$n\";)"; done`
+eval gs -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=\""$out\"" -f \
+  `for n in "$in" "$@"; do \
+    echo "<(sheet=\`basename \"$n\" .ps\`;
+      $toc && echo '[ /Title ('\"\\${sheet#$prefix}\"') /OUT pdfmark';
+    cat \"$n\";)"; done`