aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore4
-rw-r--r--buildfile12
2 files changed, 2 insertions, 14 deletions
diff --git a/.gitignore b/.gitignore
index d3db73e..79f07d1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,3 @@
buildos-buildid
buildos-initrd
buildos-image
-
-# Generated version.
-#
-version
diff --git a/buildfile b/buildfile
index 095a24b..256ea70 100644
--- a/buildfile
+++ b/buildfile
@@ -5,16 +5,8 @@
define sh: file
sh{*}: extension =
-./: {*/ -build/} sh{bootstrap buildos genmacaddr init qemu-ifup} \
- doc{INSTALL LICENSE NEWS README version} file{buildos.service 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/} sh{bootstrap buildos genmacaddr init qemu-ifup} \
+ doc{INSTALL LICENSE NEWS README} file{buildos.service} manifest
# Don't install INSTALL file. Scripts and buildos.service are installed by the
# bootstrap script.