diff options
author | Thomas Tuegel <ttuegel@mailbox.org> | 2019-01-12 06:50:44 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-12 06:50:44 -0600 |
commit | b07e1563fe4cafd5e375a5861e42c10e0406b792 (patch) | |
tree | e04a916a12dd81d21bec726150240a7f80a06a8b /pkgs/tools/typesetting | |
parent | 9651cc7a93a2d71aad0eea00dbde7cce77735b18 (diff) | |
parent | 33b9ddc0a39decd148a200fa6a6b2b433125a049 (diff) | |
download | nixlib-b07e1563fe4cafd5e375a5861e42c10e0406b792.tar nixlib-b07e1563fe4cafd5e375a5861e42c10e0406b792.tar.gz nixlib-b07e1563fe4cafd5e375a5861e42c10e0406b792.tar.bz2 nixlib-b07e1563fe4cafd5e375a5861e42c10e0406b792.tar.lz nixlib-b07e1563fe4cafd5e375a5861e42c10e0406b792.tar.xz nixlib-b07e1563fe4cafd5e375a5861e42c10e0406b792.tar.zst nixlib-b07e1563fe4cafd5e375a5861e42c10e0406b792.zip |
Merge pull request #53686 from dtzWill/update/poppler-0.73.0
poppler: 0.72.0 -> 0.73.0
Diffstat (limited to 'pkgs/tools/typesetting')
-rw-r--r-- | pkgs/tools/typesetting/tex/texlive/bin.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/tools/typesetting/tex/texlive/bin.nix b/pkgs/tools/typesetting/tex/texlive/bin.nix index 209cc45eee95..4845c3703dc3 100644 --- a/pkgs/tools/typesetting/tex/texlive/bin.nix +++ b/pkgs/tools/typesetting/tex/texlive/bin.nix @@ -56,7 +56,7 @@ let cp -pv texk/web2c/pdftexdir/pdftoepdf{-poppler0.70.0,}.cc cp -pv texk/web2c/pdftexdir/pdftosrc{-newpoppler,}.cc # fix build with poppler 0.71 - find texk/web2c/{lua,pdf}texdir -type f | xargs sed -e 's|gTrue|true|g' -e 's|gFalse|false|g' -e 's|GBool|bool|g' -e 's|getCString|c_str|g' -i + find texk/web2c/{lua,pdf}texdir -type f | xargs sed -e 's|gTrue|true|g' -e 's|gFalse|false|g' -e 's|GBool|bool|g' -e 's|getCString|c_str|g' -e 's|Gulong|unsigned long|g' -e 's|Guint|unsigned int|g' -e 's|Gushort|unsigned short|g' -e 's|Guchar|unsigned char|g' -i ''; # remove when removing synctex-missing-header.patch |