poppler: add poppler-utils via a Debian patch. Poppler can now fully replace xpdf, if one wishes this

poppler/.footprint

@@ -1,4 +1,11 @@
 drwxr-xr-x	root/root	usr/
+drwxr-xr-x	root/root	usr/bin/
+-rwxr-xr-x	root/root	usr/bin/pdffonts
+-rwxr-xr-x	root/root	usr/bin/pdfimages
+-rwxr-xr-x	root/root	usr/bin/pdfinfo
+-rwxr-xr-x	root/root	usr/bin/pdftohtml
+-rwxr-xr-x	root/root	usr/bin/pdftops
+-rwxr-xr-x	root/root	usr/bin/pdftotext
 drwxr-xr-x	root/root	usr/include/
 drwxr-xr-x	root/root	usr/include/poppler/
 -rw-r--r--	root/root	usr/include/poppler/Annot.h
@@ -113,3 +120,11 @@ drwxr-xr-x	root/root	usr/lib/pkgconfig/
 -rw-r--r--	root/root	usr/lib/pkgconfig/poppler-qt.pc
 -rw-r--r--	root/root	usr/lib/pkgconfig/poppler-splash.pc
 -rw-r--r--	root/root	usr/lib/pkgconfig/poppler.pc
+drwxr-xr-x	root/root	usr/man/
+drwxr-xr-x	root/root	usr/man/man1/
+-rw-r--r--	root/root	usr/man/man1/pdffonts.1.gz
+-rw-r--r--	root/root	usr/man/man1/pdfimages.1.gz
+-rw-r--r--	root/root	usr/man/man1/pdfinfo.1.gz
+-rw-r--r--	root/root	usr/man/man1/pdftohtml.1.gz
+-rw-r--r--	root/root	usr/man/man1/pdftops.1.gz
+-rw-r--r--	root/root	usr/man/man1/pdftotext.1.gz

poppler/.md5sum

@@ -1 +1,2 @@
+580922eb16664bb3d2b306471e46984a  poppler-0.4.5.patch
 2bb1c75aa3f9c42f0ba48b5492e6d32c  poppler-0.4.5.tar.gz

poppler/Pkgfile

@@ -6,16 +6,23 @@
 
 name=poppler
 version=0.4.5
-release=1
-source=(http://poppler.freedesktop.org/$name-$version.tar.gz)
+release=2
+source=(http://poppler.freedesktop.org/$name-$version.tar.gz $name-0.4.5.patch)
 
 build() {
     cd $name-$version
+    patch -p1 -i $SRC/poppler-0.4.5.patch
     ./configure \
         --prefix=/usr \
         --disable-debug
     make
     make install DESTDIR=$PKG
+    (
+        cd utils
+        for i in pdffonts pdfimages pdfinfo pdftohtml pdftops pdftotext;do
+            install -D -m 755 $i $PKG/usr/bin/$i
+        done
+    )
     rm -rf $PKG/usr/share/locale
     rm -rf $PKG/usr/share/doc
 }