[Makefile] Upgrade to pinocchio-2.5.6 in devel mode.

humanoid-path-planner / hpp-doc

Documentation for project Humanoid Path Planner

ISC License

30 stars 23 forks source link

Closed florent-lamiraux closed 3 years ago

jmirabel commented 3 years ago

If you want this to be applied on the website, you must make this PR on master.

jmirabel commented 3 years ago

The logic in this package should be:

everything related to the HPP documentation follows the master/devel logic,
everything related to the website (including the install instructions) goes into master.

florent-lamiraux commented 3 years ago

Okay, then I directly push to master and close this pull request.