I think the following bash script could be used to batch-check pdf files:
Code:
#!/bin/bash
for i in $*; do
c=`pdffonts $i | grep -c "Type 3" `
if [ $c -ne 0 ]; then
echo $i
fi
done
Say you name it check.sh, then
Should give the names of all the files that use type 3 fonts.
Note: I haven't tested this yet.