Andy McFadden 1a00eb0cb7 Add warning to manual when viewed from web ...

Added a warning to the index page that only appears when viewing it
over http/https.  The issue is that the manual on the web reflects the
tip-of-tree sources, which may be inaccurate for whatever version the
user has.

Also, provide an alternate path to opening the manual in-app when
under development.

2021-10-08 11:01:03 -07:00

..

advanced.html

Relocate manual

2021-10-08 08:43:12 -07:00

analysis.html

Relocate manual

2021-10-08 08:43:12 -07:00

codegen.html

Relocate manual

2021-10-08 08:43:12 -07:00

editors.html

Relocate manual

2021-10-08 08:43:12 -07:00

end-notes.html

Relocate manual

2021-10-08 08:43:12 -07:00

index.html

Add warning to manual when viewed from web

2021-10-08 11:01:03 -07:00

intro-details.html

Relocate manual

2021-10-08 08:43:12 -07:00

intro.html

Relocate manual

2021-10-08 08:43:12 -07:00

main.css

Relocate manual

2021-10-08 08:43:12 -07:00

mainwin.html

Relocate manual

2021-10-08 08:43:12 -07:00

settings.html

Relocate manual

2021-10-08 08:43:12 -07:00

tools.html

Relocate manual

2021-10-08 08:43:12 -07:00

tutorials.html

Relocate manual

2021-10-08 08:43:12 -07:00

visualization.html

Relocate manual

2021-10-08 08:43:12 -07:00