diff options
| -rw-r--r-- | bbot/buildfile | 1 | ||||
| -rw-r--r-- | buildfile | 9 |
2 files changed, 7 insertions, 3 deletions
diff --git a/bbot/buildfile b/bbot/buildfile index 60f120f..70085cf 100644 --- a/bbot/buildfile +++ b/bbot/buildfile @@ -39,7 +39,6 @@ libu{bbot}: {hxx ixx txx cxx}{* -common-options -version} \ $libs hxx{version}: in{version} $src_root/file{manifest} -hxx{version}: dist = true # Generated options parser. # @@ -5,8 +5,13 @@ ./: {*/ -tests/ -build/} 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 tests or the INSTALL file. # |