-/* ==> Do not modify this file!! It is created automatically
- by copying.awk. Modify copying.awk instead. <== */
+/* ==> Do not modify this file!! -*- buffer-read-only: t -*- vi:set ro:
+ It is created automatically by copying.awk.
+ Modify copying.awk instead. <== */
#include "defs.h"
#include "command.h"
#include "gdbcmd.h"
-static void show_copying_command (char *, int);
+static void show_copying_command (const char *, int);
-static void show_warranty_command (char *, int);
-
-void _initialize_copying (void);
+static void show_warranty_command (const char *, int);
static void
-show_copying_command (char *ignore, int from_tty)
+show_copying_command (const char *ignore, int from_tty)
{
printf_filtered (" GNU GENERAL PUBLIC LICENSE\n");
printf_filtered (" Version 3, 29 June 2007\n");
printf_filtered ("\n");
- printf_filtered (" Copyright (C) 2007, 2012 Free Software Foundation, Inc. <http://fsf.org/>\n");
+ printf_filtered (" Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>\n");
printf_filtered (" Everyone is permitted to copy and distribute verbatim copies\n");
printf_filtered (" of this license document, but changing it is not allowed.\n");
printf_filtered ("\n");
}
static void
-show_warranty_command (char *ignore, int from_tty)
+show_warranty_command (const char *ignore, int from_tty)
{
printf_filtered (" 15. Disclaimer of Warranty.\n");
printf_filtered ("\n");