Fix bind path to htmldoc.

[xavetar]

Path variables are defined when the terminal is started and depend on various system configurations, the path to the binary may be different. In case of compilation htmldoc for Linux, the binary will be in /local/, not to mention macOS.