gas: re-generate configure

When configuring gas, I get:

  config.status: error: cannot find input file: `doc/Makefile.in'

This is because configure is out-of-date, re-generate it.

Change-Id: Iaa5980c282900d9fd23b90f0df25bf8ba3676498

diff --git a/gas/configure b/gas/configure
index b77c269981ce3beae18d01e703b217fc650330c5..abe8a80725713740c9b4726adaaf923544c6c54f 100755 (executable)
--- a/gas/configure
+++ b/gas/configure
@@ -14065,7 +14065,7 @@ fi
 
 
 
-ac_config_files="$ac_config_files Makefile doc/Makefile po/Makefile.in:po/Make-in"
+ac_config_files="$ac_config_files Makefile po/Makefile.in:po/Make-in"
 
 ac_config_commands="$ac_config_commands default"
 
@@ -15082,7 +15082,6 @@ do
     ".gdbinit") CONFIG_FILES="$CONFIG_FILES .gdbinit:gdbinit.in" ;;
     "default-1") CONFIG_COMMANDS="$CONFIG_COMMANDS default-1" ;;
     "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
-    "doc/Makefile") CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;;
     "po/Makefile.in") CONFIG_FILES="$CONFIG_FILES po/Makefile.in:po/Make-in" ;;
     "default") CONFIG_COMMANDS="$CONFIG_COMMANDS default" ;;