diff options
-rw-r--r-- | buildfile | 9 | ||||
-rw-r--r-- | cli/buildfile | 1 |
2 files changed, 7 insertions, 3 deletions
@@ -23,8 +23,13 @@ if $cli.configured ./: $d doc{INSTALL LICENSE NEWS README version} file{manifest} -doc{version}: file{manifest} # Generated by the version module. -doc{version}: dist = true +# The version file is auto-generated (by the version module) from manifest. +# Include it in distribution and don't remove when cleaning in src (so that +# clean results in a state identical to distributed). +# +doc{version}: file{manifest} +doc{version}: dist = true +doc{version}: clean = ($src_root != $out_root) # Don't install examples, tests or the INSTALL file. # diff --git a/cli/buildfile b/cli/buildfile index e64458f..48c69f7 100644 --- a/cli/buildfile +++ b/cli/buildfile @@ -11,7 +11,6 @@ libu{cli}: {hxx ixx txx cxx}{** -cli -version -options} \ $libs hxx{version}: in{version} $src_root/file{manifest} -hxx{version}: dist = true # Generated options parser. # |