/doc/ default tip
drwxr-xr-x [up]
drwxr-xr-x .static
drwxr-xr-x examples
drwxr-xr-x ext
drwxr-xr-x python
-rw-r--r-- 2019-11-24 13:35 -0800 2367 Makefile
-rw-r--r-- 2019-11-24 13:35 -0800 1325 bibliography.rst
-rw-r--r-- 2019-11-24 13:35 -0800 6495 conf.py
-rw-r--r-- 2019-11-24 13:35 -0800 4849 get-build-install.rst
-rw-r--r-- 2019-11-24 13:35 -0800 2197 index.rst
-rw-r--r-- 2019-11-24 13:35 -0800 45 substitutions.aux
-rw-r--r-- 2019-11-24 13:35 -0800 8270 tutorial.rst