diff options
| -rw-r--r-- | libmprint/.gitignore | 2 | ||||
| -rw-r--r-- | libmprint/buildfile | 10 | ||||
| -rw-r--r-- | libprint/buildfile | 2 | ||||
| -rw-r--r-- | libprint/libprint/buildfile | 2 |
4 files changed, 3 insertions, 13 deletions
diff --git a/libmprint/.gitignore b/libmprint/.gitignore index 6deeb3c..df77a36 100644 --- a/libmprint/.gitignore +++ b/libmprint/.gitignore @@ -16,5 +16,3 @@ *.exe.dlls/ *.exe.manifest *.pc - -version diff --git a/libmprint/buildfile b/libmprint/buildfile index a2e35e3..119c7e2 100644 --- a/libmprint/buildfile +++ b/libmprint/buildfile @@ -1,12 +1,4 @@ -./: libmprint/ tests/ doc{version} file{manifest} - -# 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) +./: libmprint/ tests/ manifest # Don't install tests. # diff --git a/libprint/buildfile b/libprint/buildfile index d8caddc..3ac0526 100644 --- a/libprint/buildfile +++ b/libprint/buildfile @@ -1,4 +1,4 @@ -./: {*/ -build/} file{manifest} +./: {*/ -build/} manifest # Don't install tests. # diff --git a/libprint/libprint/buildfile b/libprint/libprint/buildfile index ce28971..e2c6f8a 100644 --- a/libprint/libprint/buildfile +++ b/libprint/libprint/buildfile @@ -8,7 +8,7 @@ lib{print}: {hxx ixx txx cxx}{* -version} hxx{version} $imp_libs $int_libs # pick up an installed one) and don't remove it when cleaning in src (so that # clean results in a state identical to distributed). # -hxx{version}: in{version} $src_root/file{manifest} +hxx{version}: in{version} $src_root/manifest hxx{version}: dist = true hxx{version}: clean = ($src_root != $out_root) |