Relintai/material-maker
1
0
Fork 0
mirror of https://github.com/Relintai/material-maker.git synced 2025-01-09 05:39:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
40ff89846b
material-maker/addons
History
Hugo Locurcio 40ff89846b
Improve the "User manual" button 
The new behavior of `show_doc()` is as follows:

- Try to open packaged documentation first.
- If the above fails, try to open locally-built documentation
  (useful during development).
- If it still fails, try to open the online version.

This also improves path handling to be smarter.
2019-10-19 01:46:25 +02:00
..
material_maker Improve the "User manual" button 2019-10-19 01:46:25 +02:00