<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Sep 30, 2016 at 1:35 PM, Paul Eggert <span dir="ltr">&lt;<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It&#39;s normal to distribute files unmodified from a repository. </blockquote></div><br>There would be little harm in keeping the version in the repository&#39;s Makefile as well.  The &quot;version&quot; target seems to ignore the VERSION= setting anyways.  It is common for projects to keep the version being worked on somewhere in the project files.  Logistically, the extra burden is just to update the value right after the release is tagged.  This can be part of an automated release procedure.   </div></div>