Skip to content

fix: change make install target to use the right directory name #3241

fix: change make install target to use the right directory name

fix: change make install target to use the right directory name #3241