[Date Prev][Date Next][Thread Prev][][Date Index][Thread Index]

Re: how to install in one's $HOME directory?

j> Except this:
j> (setq Info-default-directory-list (append  (list "/home/jidanni/tmp/share/info/dir") Info-default-directory-list))
j> I'm not sure what I should do about that.
By the way, make install says:
 This is not dpkg install-info anymore, but GNU install-info
 See the man page for ginstall-info for command line arguments