Thank you for your response. There is no information in the manual about make options, and a wget readme file which I found on the web is an extract from the manual. The makefile contains the make options, which is how I got to the construct in my original post.