/usr/share/local/info. However, when I need to migrate all data to new computer, keeping my info pages is really a nightmare. So I add a few of lines shown below into
and put all info pages I collected before into ~/.info
Now I just need to migrate all files in my $HOME to new computer.