How to change the INFOPATH, possibly only user wide?

I’ve opened a new, more general question: https://discussion.fedoraproject.org/t/how-to-add-new-manuals-to-info/69432.

1 Like