diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2017-08-21 01:59:58 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2017-08-21 01:59:58 +0300 |
commit | 45c6beea9e254bc9721262be45effda09e1377b2 (patch) | |
tree | 8f2ced0ed325f44e803e41df320a26160ca99f6b /libmprint | |
parent | bc4ba57c35bd17757657d7111d03f98f6ebedf06 (diff) |
Don't clean version
Diffstat (limited to 'libmprint')
-rw-r--r-- | libmprint/buildfile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/libmprint/buildfile b/libmprint/buildfile index f02884e..a2e35e3 100644 --- a/libmprint/buildfile +++ b/libmprint/buildfile @@ -1,7 +1,12 @@ ./: libmprint/ tests/ doc{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. # |