Revert "Revert "Add docs/ directory back into Makefile""

This reverts commit b324fe2d976512b7705beca57ff9a62630cc6c83.
Remove useless output from configure status