Makefile: Fix target location for install_docs
#15853
Merged
This job was skipped
Loading
install_docs
#15853