* admin/update_autogen (commit): Switch prefix from "# " to "; ".

diff --git a/admin/ChangeLog b/admin/ChangeLog
index 092bfa9ad59dd710aa49bf1a3c4ddc978276940c..d3fabd4c811bc20a77eacef956471fc40d8f8bcf 100644 (file)
--- a/admin/ChangeLog
+++ b/admin/ChangeLog
@@ -1,6 +1,10 @@
+2015-03-31  Glenn Morris  <rgm@gnu.org>
+
+       * update_autogen (commit): Switch prefix from "# " to "; ".
+
 2015-03-03  Kelvin White  <kwhite@gnu.org>
 
-       * MAINTAINERS: Add myself to section 2
+       * MAINTAINERS: Add myself to section 2.
 
 2015-03-03  Glenn Morris  <rgm@gnu.org>
 

diff --git a/admin/update_autogen b/admin/update_autogen
index 73e8aebe3d82763c8e90e81b12337c66fe852630..1bd82967c27a2d1ef4bfbf6e0e4a45ba906c99e9 100755 (executable)
--- a/admin/update_autogen
+++ b/admin/update_autogen
@@ -228,7 +228,7 @@ commit ()
 
     echo "Committing..."
 
-    $vcs commit -m "# Auto-commit of $type files." "$@" || return $?
+    $vcs commit -m "; Auto-commit of $type files." "$@" || return $?
 
     [ "$vcs" = "git" ] && {
         $vcs push || return $?