Fix Makefile to build correct version number in the document.