+if (defined($size) && $size > 0) {
+ # 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:- | convert png:- 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;
+}
+