Hi, zimoun skribis: > Using Guix 3dcc74d, 'sed' and 'cat' are missing from 'texinfo'. Are these two programs just used by texi2dvi? We could patch texi2dvi to refer to them by absolute file name, from ‘coreutils-minimal’. > Moreover, 'texlive' seems also missing. We won’t propagate that one. :-) I think it’s a case where it’s fine to favor “dynamic composition”, where ‘pdflatex’ is taken from $PATH. Thanks, Ludo’.