Fix an issue with the latest build as proposed by Aric in 63/27663/2
[doctor.git] / docs /
drwxr-xr-x   ..
drwxr-xr-x - design
-rwxr-xr-x 416 index.rst
drwxr-xr-x - installationprocedure
drwxr-xr-x - manuals
drwxr-xr-x - releasenotes
drwxr-xr-x - requirements
drwxr-xr-x - scenarios
drwxr-xr-x - userguide