<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN"> <HTML> <HEAD> <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8"> <META NAME="GENERATOR" CONTENT="GtkHTML/3.26.0"> </HEAD> <BODY> On Tue, 2010-10-12 at 15:29 -0700, Dan Nicholson wrote: <BLOCKQUOTE TYPE=CITE> <TT>Right, I thought we were disting the docs.</TT> </BLOCKQUOTE> Even so it's not required so as long as the Makefile is coded accordingly. It is semantically correct and would not be wrong to put it in. It got me thinking about the existing modules including generated man pages, so I tested it out. So far the strategy is to code the Makefile so the dist part of it is not subject to the configure option. That's why at dist time the makefile deps make it such that it attempts to build the docs using the missing tool and the build dies. The advantage of this strategy is that you don't have to analyze each makefile and figure out what options to put in the distcheck flags. It may be obvious for doc targets but there are other types much more complex. </BODY> </HTML>