diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2025-06-16 17:21:25 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2025-06-16 17:21:25 +0200 |
| commit | e32c098f5d5c3d677f8c88a6f4dadd0da141f51d (patch) | |
| tree | f58a7afd8f9e4705126960a6fcc0f7dbdd799aa9 | |
| parent | 4ea1538dd7bd2dd7ae518e1eb52a6510cc94ce8d (diff) | |
doc: Update build machinery for today’s ‘master’.
This updates TeX Live package names to match what’s available in today’s
‘master’ branch since ‘master’ is what is used to build the on-line copy
of the manual.
* doc/build.scm (pdf-manual)[texinfo-profile]: Update TeX Live package
names.
Change-Id: I5db327e1543a1f9a8697bf3b1b65ab50959efdc4
| -rw-r--r-- | doc/build.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/build.scm b/doc/build.scm index b1ef278508..94d7156d93 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -1025,11 +1025,11 @@ makeinfo OPTIONS." sed tar texinfo - texlive-base + texlive-scheme-basic texlive-bin ;for GUIX_TEXMF texlive-epsf - texlive-fonts-ec - texlive-tex-texinfo))))) + texlive-ec + texlive-texinfo))))) (define build (with-imported-modules '((guix build utils)) |