On Tuesday, January 29, 2019 at 10:28:17 AM UTC-8, Dima Pasechnik wrote: > > > Given how much crap nowadays google returns for seemingly meaningful > searches, this is quite a waste of time to do. >
I agree it's a waste of time to do searches that are only seemingly meaningful. I think you mean the search engine and the person writing the query often disagree on the meaning? That's not my personal experience, but indeed other people's might be different. It definitely feels a little uncomfortable to leave indexing to a third party, but I think in practice it's how a lot of users access documentation now (I often find it quicker than figuring out how the indexing of the particular documentation works) And you often get wrong versions of what you look for... > I don't think that's specific to accessing documentation online :-). Documentation is often out-of-sync with software, even when packaged with it. Anyway, it's *definitely* worth having good documentation. I think it's very worthwhile having it easily available on-line in a way it's easily found (and indexed) by search engines. It should definitely be available for offline use as well. I don't think it's harmful by itself to have it installed by default (unless resource usage is very high), but I don't think it will found by many people if it gets stuck in ~/.local/usr/doc or in /usr/local/doc or similar. I don't see a way to improve the discoverability either. The "Help" tab of jupyter notebook may help a bit, but if that list becomes very long then it will unpleasant to use as well. Online search engines have an advantage that their interface scales incredibly well. > > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-devel+...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > > Visit this group at https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
