#4144 (Add a help button that links to the user docs)

by Luc Saffre · in Developers · assigned to Luc Saffre

5 years, 5 months ago by Luc Saffre about #4144 (Add a help button that links to the user docs) : IOW the help button of an actor would simply open some url like "MEDIA_URL/docs/tickets/Tickets.html" and rely on the fact that this page has been generated by the build_sitedocs command of that site.
5 years, 5 months ago by Luc Saffre about #4144 (Add a help button that links to the user docs) : Loading and analyzing the objects.inv files programmatically looks difficult. And I guess that we anyway need a new django-admin command "sitedocs", which would generate a Sphinx doctree to media/sitedocs. This site doctree would contain one page with a list of all actors. We would run Sphinx to bui...
5 years, 5 months ago by Luc Saffre about #4144 (Add a help button that links to the user docs) : I started to read [url www.sphinx-doc.org/en/master/usage/extensions/intersphinx.html intersphinx docs] and [url github.com/sphinx-doc/sphinx/blob/4.x/sphinx/ext/intersphinx.py source code].
5 years, 5 months ago by Luc Saffre about #4144 (Add a help button that links to the user docs) : In a Sphinx doc I can say :class:`lino.modlib.users.Users", which links to the right place. The challenge is to use the intersphinx_urls also from within lino to link to that place.