We now generate and link delta PDFs with the state(s) of the sheet.

- scripts/schhist2web: keep latest version of a sheet's PDF in pdf_head
  instead of pdf_$head, so that we don't overwrite it later with a delta
- scripts/schhist2web: for each change, write an HTML file which loads
  the image and links to a delta PDF
- scripts/schps2pdf: new option -T to specify page titles
- scripts/Makefile (UPLOAD): also upload html_*

scripts/schps2pdf

@@ -18,6 +18,8 @@ usage()
 usage: $0 [options] [-o file.pdf] [file.ps ...]
 
   -t prefix  make a table of content. Remove prefix from file names.
+  -T title   make a table of content using the specified title. Each
+             sheet needs one -T option.
 EOF
     exit 1
 }
@@ -34,6 +36,10 @@ while true; do
 	toc=true
 	prefix="$2"
 	shift 2;;
+    -T)	[ -z "$2" ] && usage
+	toc=true
+	titles="$titles \"$2\""
+	shift 2;;
     -*)
 	usage;;
     *)
@@ -45,7 +51,9 @@ in=${1:--}
 shift
 
 eval gs -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=\""$out\"" -f \
-  `for n in "$in" "$@"; do \
+  `export i=1; for n in "$in" "$@"; do \
+    i=\`expr $i + 1\`;
     echo "<(sheet=\`basename \"$n\" .ps\`;
-      $toc && echo '[ /Title ('\"\\${sheet#$prefix}\"') /OUT pdfmark';
+    set x $titles; i=\`expr $i + 1\`; eval t='\\$$i';
+      $toc && echo '[ /Title ('\"\\${t:-\\${sheet#$prefix}}\"') /OUT pdfmark';
     cat \"$n\";)"; done`