[Makefile] Add repository for hpp-tools.

2308e0a8 · Florent Lamiraux · Florent Lamiraux florent@laas.fr · ee50379b · 2308e0a8
Commit 2308e0a8 authored Sep 18, 2019 by Florent Lamiraux Committed by Florent Lamiraux florent@laas.fr Sep 18, 2019
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -228,6 +228,9 @@ else
 	qgv_extra_flags=-DBINDINGS_QT5=OFF -DBINDINGS_QT4=ON
 endif

+hpp-tools_branch=${HPP_VERSION}
+hpp-tools_repository=${HPP_REPO}
+
 # }}}
 ##################################
 # {{{ High-level targets