gnu: texlive-ps2pk: Build binaries separately.

* gnu/packages/tex.scm (texlive-ps2pk-bin): New variable.
(texlive-ps2pk): Do not inherit from TEXLIVE-BIN.  Make it a regular TeX
Live package instead.
[source]: Use TEXLIVE-ORIGIN.
[arguments]: Remove it.
[propagated-inputs]: Add TEXLIVE-PS2PK-BIN.

Change-Id: I73619d2d8254b0bba320a7c83408a024d7218964

gnu/packages/tex.scm

@@ -43430,8 +43430,35 @@ (define-public texlive-ps2eps-bin
 
 (define-public texlive-ps2pk
   (package
-    (inherit texlive-bin)
     (name "texlive-ps2pk")
+    (version (number->string %texlive-revision))
+    (source (texlive-origin
+             name version
+             (list "doc/man/man1/mag.1"
+                   "doc/man/man1/mag.man1.pdf"
+                   "doc/man/man1/pfb2pfa.1"
+                   "doc/man/man1/pfb2pfa.man1.pdf"
+                   "doc/man/man1/pk2bm.1"
+                   "doc/man/man1/pk2bm.man1.pdf"
+                   "doc/man/man1/ps2pk.1"
+                   "doc/man/man1/ps2pk.man1.pdf")
+             (base32
+              "14xq9x5rf15ibzr41cm5rm4v3rpmj50rfsqp4zzvyhmpmyw4dsx3")))
+    (outputs '("out" "doc"))
+    (build-system texlive-build-system)
+    (propagated-inputs (list texlive-ps2pk-bin))
+    (home-page "https://ctan.org/pkg/ps2pk")
+    (synopsis "Generate a PK font from an Adobe Type 1 font")
+    (description
+     "This package provides tools to generate a PK file from an Adobe Type
+1 font.  PK fonts are (or used to be) valuable in enabling previewers to view
+documents generated that use Type 1 fonts.")
+    (license license:isc)))
+
+(define-public texlive-ps2pk-bin
+  (package
+    (inherit texlive-bin)
+    (name "texlive-ps2pk-bin")
     (source
      (origin
        (inherit texlive-source)
@@ -43453,9 +43480,9 @@ (define-public texlive-ps2pk
     (arguments
      (substitute-keyword-arguments (package-arguments texlive-bin)
        ((#:configure-flags flags)
-        #~(cons* "--enable-ps2pk" (delete "--enable-web2c" #$flags)))
+        #~(cons "--enable-ps2pk" (delete "--enable-web2c" #$flags)))
-       ((#:phases _)
+       ((#:phases phases)
-        #~(modify-phases %standard-phases
+        #~(modify-phases #$phases
             (replace 'check
               (lambda* (#:key tests? #:allow-other-keys)
                 (when tests?
@@ -43465,14 +43492,14 @@ (define-public texlive-ps2pk
               (lambda _
                 (with-directory-excursion "texk/ps2pk"
                   (invoke "make" "install"))))))))
-    (inputs '())
+    (native-inputs (list pkg-config))
-    (home-page "https://ctan.org/pkg/ps2pk")
+    (inputs (list texlive-libkpathsea))
-    (synopsis "Generate a PK font from an Adobe Type 1 font")
+    (propagated-inputs '())
+    (home-page (package-home-page texlive-ps2pk))
+    (synopsis "Binaries for @code{texlive-ps2pk}")
     (description
-     "This package provides tools to generate a PK file from an Adobe Type
+     "This package provides the binaries for @code{texlive-ps2pk}.")
-1 font.  PK fonts are (or used to be) valuable in enabling previewers to view
+    (license (package-license texlive-ps2pk))))
-documents generated that use Type 1 fonts.")
-    (license license:isc)))
 
 (define-public texlive-psutils
   (package