#179 describe(): Index the html manual in the share dir, as well

[Gunter Königsmann]

? symplectic_ode

currently outputs

  No exact match found for topic `symplectic_ode'.
  Try `?? symplectic_ode' (inexact match) instead.
(%o1)   false

even if the in the share directory we could show share/contrib/symplectic_ode/symplectic_ode.html#index-symplectic_005fode as html manual page fpr that and there is a .texiand a matching .info file there, too. The reason is that currently maxima only indexes the documentation directory for manual anchors. wxMaxima indexes the manuals in the share directory and its subdirectories, too, and therefore finds a small handful more manual topics than maxima does.

[Raymond Toy]

Currently, the html indexer and display assumes that there is an info entry. If there isn't, then the html doc won't be displayed. This constraint could be lifted. I think I did it this way as a sanity check that the html index wasn't adding lots of random things it shouldn't have.

I think the html manual should be consistent with the text manual; Otherwise, it's confusing to find something in one place but not the other.

I don't think it would be terribly difficult to have maxima incorporate the texi files from the share directory.

[Gunter Königsmann]

There might be .info files in the share dir, as well... ...and Robert's package manager might even download documentation into maxima_userdir...