diff options
| author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2025-02-10 11:29:23 +0100 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-05-06 11:25:05 +0200 |
| commit | f5914d5b2eb9a6361c5274e18cbe3cae0a3a473a (patch) | |
| tree | 0538137c34e7516cdccbed0c527e975a4e480d7f | |
| parent | fbc334928b13258f465f04ca9e525ef42e2791a4 (diff) | |
| download | guix-f5914d5b2eb9a6361c5274e18cbe3cae0a3a473a.tar.gz guix-f5914d5b2eb9a6361c5274e18cbe3cae0a3a473a.zip | |
gnu: texlive build system: Un-dumbify a comment.
* guix/build/texlive-build-system.scm (build): Clarify a poorly explained
design choice.
Change-Id: Ida4e4ccb3934f8b5cc7a6e36e33cec7a5e5581e8
| -rw-r--r-- | guix/build/texlive-build-system.scm | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/guix/build/texlive-build-system.scm b/guix/build/texlive-build-system.scm index 4a1afc709b..25b64991f7 100644 --- a/guix/build/texlive-build-system.scm +++ b/guix/build/texlive-build-system.scm @@ -214,8 +214,10 @@ runfile to replace. If a file has no matching runfile, it is ignored." f)))) build-targets)) ((directory-exists? "source") - ;; Prioritize ".ins" files over ".dtx" files. There's no - ;; scientific reasoning here; it just seems to work better. + ;; Prioritize ".ins" files over ".dtx" files. The former only + ;; generate runfiles whereas the latter usually also rebuild + ;; documentation, which is not regenerated during the build process + ;; as it would introduce some bootstrapping issues. (match (find-files "source" "\\.ins$") (() (find-files "source" "\\.dtx$")) (files files))) |