diff options
| -rw-r--r-- | buildfile | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -18,8 +18,13 @@ BOOTSTRAP-WINDOWS ./: $d doc{$i README version} cli{$i} file{build.sh build-*} 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 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 the BOOTSTRAP/INSTALL files. But UPGRADE could be useful. # |