Hi Toby, I still use grep locally for this, although I also use the doxygen search > tool too. >
Thats a good idea, if you know exactly what phrase you're looking for. Sometimes I can't think of the correct term and need to paraphrase and thats why a search engine is more useful for this purpose. Several law suits have been processed involving entities trying to bias > search engines in the way you suggest. (Polite warning!) > This is not in relation to promoting the deal.II documentation above other results when searching for a term like "FEM". It more about the fact that our multiple versions of online documentation are, in effect, competing with one another! But I get it - this may fall foul of some rules regarding SEO unless using a mechanism like robots.txt (but I really haven't a clue as to what how websites work). > It seems, that you are restricting yourself to Google as a search engine. > I actually don't use the big G as my default search engine, but I'm sure that many people do. In any case, duckduckgo doesn't return as good results when looking through the documentation as Google does. > In that case, I would be tempted to ask the Google corporation how their > search engine works. > Funny :-) > Going back to the problem as stated In the case of depreceated or removed > functions, I would choose to believe, that users are smart enough to figure > out when they are looking at older docs. :-) > Unless the links are dead? > Does it suffice to observe that changing the deal.ii version 'x.x.x' to > 'developer' in the hyper link almost always solves the problem you want to > adress? > > Thanks, I do know about this and end up doing it when constructing many of the posts (unless I forget...). Having to regularly perform this step is what motivated me to ask this question in the first place! Best, J-P -- You received this message because you are subscribed to the Google Groups "deal.II developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii-developers+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
