doc: Fix compilation problems of the docs target on non-Linux machines (tested on FreeBSD)
Merge pull request #614 from yoonka/fix-docs-makefiles

doc: Fix compilation problems of the docs target on non-Linux machines (tested on FreeBSD)