Re: [Exist-open] 1.3 dev: documentation search bug?

[Wolfgang <wol...@ex...>]

Hi Joe,

> Has anyone noticed that the new documentation search function (i.e.
> the new search box in the header) stops working after you build the
> function library documentation?

I encountered this problem as well, but had no time to fix it so far. 
The function search setup routine will overwrite documents required by 
the documentation search utility (in particular: the index definitions).

Both setup routines should be merged into one, so whatever you call 
first, function search or documentation search, will import the 
documents for both facilities.

Wolfgang