diff options
author | Will Dietz <w@wdtz.org> | 2019-01-08 12:58:30 -0600 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2019-01-08 21:40:24 -0600 |
commit | 33b9ddc0a39decd148a200fa6a6b2b433125a049 (patch) | |
tree | ff0ce0981fde04a1d6d96fe3aaa09076d4bcce3a /pkgs/tools/typesetting | |
parent | 7757e43fcb15f3b3e21187787edaad54614ec7e6 (diff) | |
download | nixlib-33b9ddc0a39decd148a200fa6a6b2b433125a049.tar nixlib-33b9ddc0a39decd148a200fa6a6b2b433125a049.tar.gz nixlib-33b9ddc0a39decd148a200fa6a6b2b433125a049.tar.bz2 nixlib-33b9ddc0a39decd148a200fa6a6b2b433125a049.tar.lz nixlib-33b9ddc0a39decd148a200fa6a6b2b433125a049.tar.xz nixlib-33b9ddc0a39decd148a200fa6a6b2b433125a049.tar.zst nixlib-33b9ddc0a39decd148a200fa6a6b2b433125a049.zip |
texlive: fix w/poppler 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 |