From dfc9845838ee8747c0736e125037d9960dfb7b48 Mon Sep 17 00:00:00 2001
From: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
Date: Sun, 15 Dec 2019 19:43:28 -0500
Subject: texlive: provide a working pygmentex executable

The old top-level pygmentex package is replaced with an alias.
---
 pkgs/top-level/aliases.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pkgs/top-level/aliases.nix')

diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix
index dea65ff0a97..4f522103003 100644
--- a/pkgs/top-level/aliases.nix
+++ b/pkgs/top-level/aliases.nix
@@ -333,6 +333,7 @@ mapAliases ({
   ppl-address-book = throw "deprecated in 2019-05-02: abandoned by upstream.";
   processing3 = processing; # added 2019-08-16
   procps-ng = procps; # added 2018-06-08
+  pygmentex = texlive.bin.pygmentex; # added 2019-12-15
   pyo3-pack = maturin;
   pmenu = throw "pmenu has been removed from nixpkgs, as its maintainer is no longer interested in the package."; # added 2019-12-10
   pulseaudioLight = pulseaudio; # added 2018-04-25
-- 
cgit 1.4.1