diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-29 01:09:40 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-29 01:09:40 +0200 |
| commit | e43cbeafd1b632f39b08b3644af5230d5350a656 (patch) | |
| tree | 9d6d0389e2399adbc5defff4a0fba5ad9029ce0d /guix | |
| parent | 3bb3fddb5c6e79056172e5858cdc0ee0b6b8cfaa (diff) | |
guix: profiles: Delete generated files.
* guix/profiles.scm (texlive-font-maps): Delete generated files.
Fixes <https://issues.guix.gnu.org/64906>.
Diffstat (limited to 'guix')
| -rw-r--r-- | guix/profiles.scm | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/guix/profiles.scm b/guix/profiles.scm index d0006dc2bf..6c88759cae 100644 --- a/guix/profiles.scm +++ b/guix/profiles.scm @@ -1815,6 +1815,21 @@ MANIFEST." #:create-all-directories? #t #:log-port (%make-void-port "w")) + ;; Clear files that are going to be regenerated. + (with-directory-excursion "/tmp/texlive/share/texmf-dist" + (for-each delete-file + (list "fonts/map/dvipdfmx/updmap/kanjix.map" + "fonts/map/dvips/updmap/builtin35.map" + "fonts/map/dvips/updmap/download35.map" + "fonts/map/dvips/updmap/ps2pk.map" + "fonts/map/dvips/updmap/psfonts.map" + "fonts/map/dvips/updmap/psfonts_pk.map" + "fonts/map/dvips/updmap/psfonts_t1.map" + "fonts/map/pdftex/updmap/pdftex.map" + "fonts/map/pdftex/updmap/pdftex_dl14.map" + "fonts/map/pdftex/updmap/pdftex_ndl14.map" + "web2c/updmap.cfg"))) + ;; XXX: This is annoying, but it's necessary because ;; texlive-libkpathsea does not provide wrapped executables. (setenv "PATH" @@ -1866,8 +1881,6 @@ MANIFEST." (let ((a (string-append #$output "/share/texmf-dist")) (b "/tmp/texlive/share/texmf-dist") (mktexlsr #$(file-append texlive-scripts "/bin/mktexlsr"))) - ;; Ignore original "updmap.cfg" from texlive-scripts input. - (delete-file "/tmp/texlive/share/texmf-dist/web2c/updmap.cfg") (copy-recursively a b) (invoke mktexlsr b) (install-file (string-append b "/ls-R") a)))))) |