Fix loading of bare info pages (i.e., without .info extension)
See Debian bug http://bugs.debian.org/496840
Thanks to Marc Lehmann <debian-reportbug@plan9.de> for the patch
Properly load info pages whose name starts with "dir"
Fixed Debian bug http://bugs.debian.org/496840
Thanks to Marc Lehmann <debian-reportbug@plan9.de> for the patch