mybin

commit 14deebbb6247fb2e7bf548d901e2a6346f63c6a3
parent ab99d5e7d6a4b92f7d749590d07a12590cd99ba1
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sun,  3 May 2015 02:33:51 +0200

add relevant link

Diffstat:
checkpdf
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/checkpdf b/checkpdf
@@ -18,6 +18,7 @@ exiftool "$FILE" | grep -E "^Title|^Author"
 echo "CHECK metainfo bugs"
 exiftool "$FILE" | grep "^Warning"
 echo "CHECK font embedding"
+# magic: http://stackoverflow.com/a/14435749
 pdffonts "$FILE" | sed '1,2d' | grep '  no'
 echo "CHECK font type"
 pdffonts "$FILE" | sed '1,2d' | grep -v 'Type 1'