Change DEVEL_DIR to DEVEL_HPP_DIR and INSTALL_DIR to INSTALL_HPP_DIR

humanoid-path-planner / hpp-doc

Documentation for project Humanoid Path Planner

https://humanoid-path-planner.github.io/hpp-doc

ISC License

29 stars 23 forks source link

Change DEVEL_DIR to DEVEL_HPP_DIR and INSTALL_DIR to INSTALL_HPP_DIR #20

Closed olivier-stasse closed 6 years ago

olivier-stasse commented 6 years ago

New naming convention to avoid clashes. Test if INSTALL_HPP_DIR is already set, if not then use the standard approach. The user can change the behavior by setting his own INSTALL_HPP_DIR. Change DEVEL_HPP_DIR and INSTALL_HPP_DIR everywhere.

jmirabel commented 6 years ago

Thanks for the change. I pushed you commit on devel branch, tested it and finally merged it into master branch.