diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-06-04 10:38:11 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-18 18:12:49 +0200 |
commit | 7ce20143a7ccddf54b878f51ef856ea3e717587f (patch) | |
tree | 70eb62482b6e04db2c66778ca7a67c291c9d1ffd /doc | |
parent | aab0dee520ffacfe2abd02659b487c3762aeee8b (diff) | |
download | guix-patches-7ce20143a7ccddf54b878f51ef856ea3e717587f.tar guix-patches-7ce20143a7ccddf54b878f51ef856ea3e717587f.tar.gz |
guix: texlive-build-system: Generate TeX formats.
* guix/build-system/texlive.scm (texlive-build): Add #:CREATE-FORMATS argument.
* doc/guix.texi (Build Systems): Document it.
* guix/build/texlive-build-system.scm (texlive-input?): New function.
(generate-font-metrics): Use new function above.
(create-formats): New function.
(%standard-phases): Add function above to phases.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 2e03e3802f..e58bb65bd1 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -10008,7 +10008,9 @@ Different build targets can be specified with the @code{#:build-targets} argument, which expects a list of file names. It also generates font metrics (i.e., @file{.tfm} files) out of METAFONT -files whenever possible. +files whenever possible. Likewise, it can also create TeX formats +(i.e., @file{.fmt} files) listed in the @code{#:create-formats} +argument. The build system adds only @code{texlive-bin} and @code{texlive-latex-base} (both from @code{(gnu packages tex}) to the |