Doc: make html does not include dependency libraries
#1047
| Job | Run time |
|---|---|
| 47m 32s | |
| 47m 32s |
make html does not include dependency libraries
#1047
| Job | Run time |
|---|---|
| 47m 32s | |
| 47m 32s |