Update Makefile to let the `make serve-docs` work again. Signed-off-by: Xun Jiang <xun.jiang@broadcom.com>