Explicitly set "docdir" when calling make, configure's --docdir seems to be ignored