Hi,

I am trying to install more manuals (info pages), without installing
associated packages in my profile.

My first idea was to use a home service to overwrite INFOPATH.  However,
I do not think that it is sufficient.  For example, the following
commands show unexpected `(top)' nodes.

--8<---------------cut here---------------start------------->8---
INFOPATH=$(guix build emacs)/share/info info # Empty (top).

info -d "$(guix build haunt)/share/info"     # No haunt in (top).
--8<---------------cut here---------------end--------------->8---


An alternative (that I prefer to avoid) would be to write packages that
would copy the info manuals of the packages I need.


Motivation:

I currently use direnv+manifests to setup work environments in different
directories.  However, the info-mode of Emacs is easily lost (the `top'
node is generated with the first INFOPATH the info-mode sees).

This can be annoying when switching profiles, so I would like to add all
info pages that are relevant for me by altering INFOPATH
home-profile-wide.


Best regards,

-- 
Arnaud