doc: use makefile variable for tools
Tools could be deployed in many different places, for this reason is
safer to assume that they are in PATH, and offer en environment variable
to handle exceptions.
Signed-off-by: Federico Vaga <federico.vaga@cern.ch>
Showing
Please
register
or
sign in
to comment