summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-05-19 17:49:54 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2018-05-19 17:49:54 +0300
commita2106e4e29e81d775e42587dbc4d697e943359f2 (patch)
tree7a139e8847e28bf5f4142f56e4a5d73881a2bc11
parent93c9378848bcb61b473f2933d9e6257545a463a3 (diff)
Get rid of doc{version} and types for testscript and manifest in buildfiles
-rw-r--r--.gitignore4
-rw-r--r--buildfile10
2 files changed, 1 insertions, 13 deletions
diff --git a/.gitignore b/.gitignore
index 3dd23c1..19c7b69 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,7 +13,3 @@
*.exe.dlls/
*.exe.manifest
*.pc
-
-# Generated version.
-#
-version
diff --git a/buildfile b/buildfile
index d45fa2d..5d13c93 100644
--- a/buildfile
+++ b/buildfile
@@ -1,15 +1,7 @@
# file : buildfile
# copyright : not copyrighted - public domain
-./: {*/ -build/} doc{INSTALL README 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)
+./: {*/ -build/} doc{INSTALL README} manifest
# Don't install tests or the INSTALL file.
#