-extern int lineno;
-extern char *outfile;
-extern char *defsfile;
-extern char *tabfile;
-extern char *attrsfile;
-extern char *guardfile;
-extern char *actfile;
-
-void open_files PARAMS((void));
-void open_extra_files PARAMS((void));
-
-void done PARAMS((void));
+
+void compute_output_file_names (void);
+
+FILE *xfopen (const char *name, const char *mode);
+int xfclose (FILE *ptr);
+
+/* Is SUFFIX ending STRING? */
+int strsuffix (const char* string, const char* suffix);
+
+/* Return a newly allocated string composed of the concatenation of
+ STRING1, and STRING2. */
+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;
+