Apply make options to the doc target

Use $MAKE_OPTION with the documentation build target as well.