aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-05-19 12:59:14 (GMT)
committerKaren Arutyunov <karen@codesynthesis.com>2018-05-19 12:59:14 (GMT)
commitc85322670a2411b25c21b3003eaae09f8a3fcf33 (patch)
treec8b55f6b4a2f3b6f22c5ee626bc46feb59f96bea
parentd5581e4d4ef232e7b52acd00227f7f793b4587e2 (diff)
Get rid of doc{version} and types for testscript and manifest in buildfiles
-rw-r--r--.gitignore1
-rw-r--r--buildfile10
2 files changed, 1 insertions, 10 deletions
diff --git a/.gitignore b/.gitignore
index b6e0eb0..68e3c03 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,3 @@ INSTALL
UPGRADE
BOOTSTRAP-*
!BOOTSTRAP-*.cli
-version
diff --git a/buildfile b/buildfile
index dabe4a7..1d76b6c 100644
--- a/buildfile
+++ b/buildfile
@@ -17,15 +17,7 @@ BOOTSTRAP-MSVC \
BOOTSTRAP-UNIX \
BOOTSTRAP-WINDOWS
-./: $d doc{$i README version} cli{$i} file{build.sh build-*} 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)
+./: $d doc{$i README} cli{$i} file{build.sh build-*} manifest
# Don't install the BOOTSTRAP/INSTALL files. But UPGRADE could be useful.
#