版本信息
- webots R2020a revision 1
问题叙述
至于为什么要使用本地文档，我想你懂的，不翻可能直接打不开！这时候倒不如使用本地文档更方便些。
本地文档目录为%WEBOTS_HOME/docs，从2020版本开始，离线文档由原来的pdf改成了网页形式，打开index.html后发现本地网页并不能起到检索作用，点击左侧目录无法实现网页内容的跳转！
用户手册位于~\Webots\docs\guide
API手册位于~\Webots\docs\reference
从上图可以看到网页的文本内容由*.md描述的，我们可以通过Markdown编辑器去查看，例如Typora。
但是还是不方便查看……
问题解决
博主在GitHub上发现已有开发者写好了相应的配置脚本，所以在下个版本中此BUG应该会修复。
为了实现2020a-rev1中的网页跳转，将以下链接中的压缩包内容解压到webots安装目录下的docs目录下。
链接：https://share.weiyun.com/5YGWywH
密码：jph6ex
解压完后，cd到安装目录下，运行如下命令：
python local_exporter.py
注意，该命令运行一次即可，以后无需再次运行
然后启动服务器，每次使用前都需要启动：
python -m http.server 8000
启动服务器后，访问相应的手册地址即可，此时终端会有访问记录产生，再点击左侧目录已经可以实现网页跳转了！
- 用户手册地址： http://localhost:8000/?url=&book=guide
- API手册地址： http://localhost:8000/?url=&book=reference
- 汽车手册地址：http://localhost:8000/?url=&book=automobile
小技巧：Windows下，shift+右击，可以直接在指定目录下打开dos窗口！
