Add make pdf for docs.