| Must have GTK 3 development files installed and libwebkit2gtk-4.0. |
| |
| Run ./autogen.sh after git checkout. |
| |
| Then configure and make. |
| |
| Set INFO_HTML_DIR to the directory containing the documentation files. |
| Each manual is in its own directory, named with the name of the manual. |
| For links to work, cross-references should link to manuals installed |
| locally, not to manuals published on the World Wide Web. |
| |
| texi2any --html --no-number-sections -c HTMLXREF_MODE=none ../../../hello.texi |
| |
| Notes on architecture - |
| |
| When a link is clicked, external links are blocked by |
| main.c:decide_policy_cb. file: links are intercepted in |
| extension.c:request_callback. |
| |
| If it's a link to a different manual, load_manual is called. |
| This in turn informs the main process that a new manual has been loaded |
| via the socket, with a "new-manual" message. |
| |
| A "new-node" message is also sent to say the node has changed. |
| |
| The main thread should then do a ?top-node request in the hidden web |
| view. The top-node request should pass back a list of index nodes. |
| |
| Then each of those should be used to give an index node to load. |
