Add $INFOPATH to Info-additional-directory-list
This commit is contained in:
parent
6db8a02175
commit
191a223a1d
Loading…
Reference in New Issue