From 42481a1fd15c9e52d685de94d9e81bc250fe1c19 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 12 Nov 2002 07:23:13 +0000
Subject: [PATCH] (output_infix): Remove; all uses removed.

---
 src/files.c | 11 -----------
 src/files.h |  4 ----
 2 files changed, 15 deletions(-)

diff --git a/src/files.c b/src/files.c
index da4c36b..7815e37 100644
--- a/src/files.c
+++ b/src/files.c
@@ -57,10 +57,6 @@ static char *full_base_name = NULL;
 /* Prefix used to generate output file names.  */
 char *short_base_name = NULL;
 
-/* Infix used to generate output file names (i.e., `.tab', or `_tab',
-   or `').  */
-char *output_infix = NULL;
-
 /* C source file extension (the parser source).  */
 const char *src_extension = NULL;
 /* Header file extension (if option ``-d'' is specified).  */
@@ -258,10 +254,6 @@ compute_base_names (void)
 		  (strlen (spec_outfile)
 		   - (tab ? strlen (tab) : (ext ? strlen (ext) : 0))));
 
-      if (tab)
-	output_infix = xstrndup (tab,
-				 (strlen (tab) - (ext ? strlen (ext) : 0)));
-
       if (ext)
 	compute_exts_from_src (ext);
     }
@@ -293,9 +285,6 @@ compute_base_names (void)
 		      (strlen (base) - (ext ? strlen (ext) : 0)));
 	}
 
-      /* In these cases, always append `.tab'. */
-      output_infix = xstrdup (EXT_TAB);
-
       full_base_name = XMALLOC (char,
 				strlen (short_base_name)
 				+ strlen (EXT_TAB) + 1);
diff --git a/src/files.h b/src/files.h
index 3d264db..a6cbfa2 100644
--- a/src/files.h
+++ b/src/files.h
@@ -67,8 +67,4 @@ char* stringappend (const char* string1, const char* string2);
 /* Prefix used to generate output file names.  */
 extern char *short_base_name;
 
-/* Infix used to generate output file names (i.e., `.tab', or `_tab',
-   or `').  */
-extern char *output_infix;
-
 #endif /* !FILES_H_ */
-- 
2.7.4