I noticed that on my computer /opt/local/share/info/dir hasn't been updated for a couple of months although I installed several ports with info files. My /opt/local/share/info/dir has dat Nove. 7, and several *.info files in /opt/local/share/info/ are not in the dir file. Even some files older than that aren't included.
For example the gdb port was installed on Oct 22, but ggdb.info* files are present in /opt/local/share/info/, but it is not in the dir file. There is, however, an older entry * Gdb: (gdb). The GNU debugger. which is no longer functional. Should the install procedure not automatically update the dir file? Or must I do something special to get it updated? -- Pieter van Oostrum www: http://pieter.vanoostrum.org/ PGP key: [8DAE142BE17999C4]
