I'm for just abolishing this file. Get rid of it altogether. Just `rm -f /usr/info/dir'. The reason is obvious. Having it causes many members of this list problems. The answer to all questions concerning info and no dir file is `info --file=/usr/info/info'. With this I never have a problem with the dir file being wrong or missing. With this I always find the info file I need. I don't need a menu file of files. I just need to know which package the binary came from and if it's a FSF GNU program then --version will give that to me if I don't already know it.
Conclusion: Don't depend on the dir file. Use the --file=/usr/info/foo option. Earnie. _________________________________________________________ Do You Yahoo!? Get your free @yahoo.com address at http://mail.yahoo.com -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Bug reporting: http://cygwin.com/bugs.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/
