[pushed] libctf: re-generate configure

[Simon Marchi]

When configuring libctf, 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: Ie69acd33012211a4620661582c7d24ad6d2cd169
---
 libctf/configure | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/libctf/configure b/libctf/configure
index 50f5cc5a3416..c56ac218213d 100755
--- a/libctf/configure
+++ b/libctf/configure
@@ -13685,7 +13685,7 @@ fi
 
 
 
-ac_config_files="$ac_config_files Makefile doc/Makefile"
+ac_config_files="$ac_config_files Makefile"
 
 ac_config_headers="$ac_config_headers config.h"
 
@@ -14702,7 +14702,6 @@ do
     "depfiles") CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;;
     "libtool") CONFIG_COMMANDS="$CONFIG_COMMANDS libtool" ;;
     "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
-    "doc/Makefile") CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;;
     "config.h") CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;;
 
   *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
-- 
2.33.1