Hi, the search index was updated; the problem should be fixed. Martin
On Wed, Jan 25, 2017 at 9:00 AM, Bruce Mutton via Therion <[email protected]> wrote: > I noticed just now that the search at the top of the Therion wiki page does > not return many results. > > https://therion.speleo.sk/wiki/doku.php > > > > For example, searching for 'history' (without quotes) returns no results, > and yet on the wiki start page there is a link "History of Therion" > > > > And searching for 'survex' finds two results, on the tips page, but does not > find the three instances of "survex" on the start page. > > I’m sure there must be many more references to survex. > > > > I am using Chrome on Windows 10 > > > > Bruce > > > > > _______________________________________________ > Therion mailing list > [email protected] > https://mailman.speleo.sk/listinfo/therion > _______________________________________________ Therion mailing list [email protected] https://mailman.speleo.sk/listinfo/therion
