+# Make a thumbnail from the finished PDF, for later reference. (Output to
+# stdout is so we make sure we get only the first page; it's the simplest
+# hack I can find offhand. :-) )
+system("convert -resize 192x192 output/$pdf_filename png:- > output/$pdf_filename.png");
+open DESC, ">output/$pdf_filename.desc";
+
+if ($url =~ /^http/i) {
+ $url =~ tr/\n//d;
+ print DESC "$url\n";
+} else {
+ $filename =~ tr/\n//d;
+ print DESC "$filename\n";
+}
+
+close DESC;
+