diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2017-08-21 01:06:28 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2017-08-21 01:06:28 +0300 |
commit | aa20084bc35eb2248279d05b22338291c2bb2f4e (patch) | |
tree | 0785f24bbb2bb78a71b4d117f60c83e618456e67 | |
parent | 49773c48a3f0b4a16d85798ce07653fb251be708 (diff) |
Fix comment in buildfile
-rw-r--r-- | buildfile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -7,8 +7,8 @@ file{INSTALL.cli bootstrap* config.guess config.sub manifest} # The version file is auto-generated (by the version module) from manifest. -# Include it in distribution and remove when cleaning in src (so that clean -# results in a state identical to distributed). +# 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 |