4–108
Pagis Pro User’s Guide
Contents
Index
Now, when you use the Search Tool to search for documents, the
Search Tool will search through all of the indexes listed in your
Index Manager.
Note that you will not be able to update or delete a remote index.
Click OK when done
Click to specify
automatic update
Type or browse to
the remote volume
Figure 4–62. Attach Index dialog box in the Index Manager
Detach from Index command
The Detach from Index command detaches a remote index from
your Index Manager.
In the Index Manager, select the remote index. From the Index
menu, select the Detach from Index command. Note that the
remote index is removed from the Index Manager index list.
Properties command
The Properties command displays an informational dialog box
about the selected index. The information includes total number
of indexed files, when the index was last modified, the included
and excluded directories, and the file types (extensions) that were
indexed.
Exit command
The Exit command closes the Index Manager.
