diff options
| -rw-r--r-- | libformat/buildfile | 9 | ||||
| -rw-r--r-- | libmformat/buildfile | 9 |
2 files changed, 14 insertions, 4 deletions
diff --git a/libformat/buildfile b/libformat/buildfile index 27e0dec..04a951f 100644 --- a/libformat/buildfile +++ b/libformat/buildfile @@ -1,7 +1,12 @@ ./: libformat/ 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. # diff --git a/libmformat/buildfile b/libmformat/buildfile index 83b174d..a83599d 100644 --- a/libmformat/buildfile +++ b/libmformat/buildfile @@ -1,7 +1,12 @@ ./: libmformat/ 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. # |