Hi! Ludovic Courtès writes: > In general, we don’t install documentation as PDF/PS, unless there’s no > other choice (preferred formats are Info, man pages, and HTML). > > Is there such an option? > > Furthermore, we shouldn’t depend on ‘texlive’, which is the big > monolithic package: > > https://guix.gnu.org/manual/devel/en/html_node/Using-TeX-and-LaTeX.html > Thanks for the feedback! Here is an updated patch. -- Cheers, Tor-björn Claesson