🚀 go-pugleaf

Pardon the cross-post, but I know Digitial Librarian questions have been  
coming up in all three of these newsgroups, and I don't remember that any of  
them noticed the following.  I also don't remember seeing anything about it  
in the 3.0 release notes, though I must admit I haven't read all the notes  
yet.  Anyway, tonight's 3.0 tidbit is:

On a Release 2.x system, the Digital Librarian target for unix man pages was  
in the directory   /NextLibrary/Documentation/Unix/ManPages

That directory still exists on a system upgraded to Release 3.0, but it is  
not indexed for DigLib.  There is a *new* directory on Release 3.0, which is  
indexed for DigLib, and it's   /NextLibrary/Documentation/ManPages

( ** warning: I don't have a 3.0 system right here right now, so that
     might not be the right location.  It's something like that though).

So, for any accounts which existed *before* an upgrade to Release 3.0, the  
user will find themselves pointing at an unindexed version of the man pages.   
The solution is *not* to index the man pages directory, the solution is to  
remove the old target from your bookshelf and drag in the new location for  
an indexed ManPages target.

You can tell the difference between the two targets because the unindexed  
version is a generic folder icon, while the indexed version has the pretty  
"open unix book" icon.  The only hassle there is that every user will  
probably have to do this for themselves.

I suspect there might be a benefit from the new structure.  You could  
replace the old directory with a link to the same directory on the 3.0  
CD-ROM drive (thus freeing up space on your hard disk), and yet the  
*searches* from Digitial Librarian would still be looking and an index which  
is on the hard disk, so they'd be just as fast.  I haven't tried this idea,  
though it seems plausible.

--
Garance Alistair Drosehn     =     gad@eclipse.its.rpi.edu
ITS Systems Programmer            (handles NeXT-type mail)
Rensselaer Polytechnic Institute;           Troy NY    USA