Use git-version-gen for version names between releases.

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index 92846b64720a0d9caaaa9b7bc78990381a3f03e5..8eecb5f278dc1868d32eecbc74a0326a92d60cc9 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -20,7 +20,6 @@
 
 #include <config.h>
 #include "system.h"
-#include "revision.h"
 #include "output.h"
 
 #include <argmatch.h>
@@ -338,7 +337,6 @@ version (void)
      continue.  */
   printf (_("bison (GNU Bison) %s"), VERSION);
   putc ('\n', stdout);
-  printf ("%s", revision);
   fputs (_("Written by Robert Corbett and Richard Stallman.\n"), stdout);
   putc ('\n', stdout);