1 files changed, 1 insertions, 9 deletions
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.
 #