+/* This file is output-file.h
+ Copyright (C) 1987-2020 Free Software Foundation, Inc.
-#ifdef __STDC__
+ This file is part of GAS, the GNU Assembler.
-void output_file_append(char *where, long length, char *filename);
-void output_file_close(char *filename);
-void output_file_create(char *name);
+ GAS is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 3, or (at your option)
+ any later version.
-#else /* __STDC__ */
+ GAS is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
-void output_file_append();
-void output_file_close();
-void output_file_create();
-
-#endif /* __STDC__ */
+ You should have received a copy of the GNU General Public License
+ along with GAS; see the file COPYING. If not, write to
+ the Free Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */
+void output_file_append (char *where, long length, char *filename);
+void output_file_close (const char *filename);
+void output_file_create (const char *name);
/* end of output-file.h */