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
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 <therion@speleo.sk> 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 Therion@speleo.sk https://mailman.speleo.sk/listinfo/therion
It's working much better now thanks. Suddenly I can find information about steps and ladders! Bruce -----Original Message----- From: Therion [mailto:therion-bounces@speleo.sk] On Behalf Of Martin Budaj via Therion 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 <therion@speleo.sk> 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
participants (2)
-
Bruce Mutton -
Martin Budaj