Forgot that Makefile was in the .gitignore list. Don't want to ignore
this one, so --force this one to be added.
Referenced Dick Nickalls's web page of his papers.