+static void printcopyright(FILE *f) {
+ fputs(
+ "innduct is Copyright (C)2010 Ian Jackson.\n"
+ "It is free software, licenced under GPL version 3 or later.\n"
+ "It is provided WITHOUT ANY WARRANTY. See the file GPL-3 for details\n",
+ stderr);
+}
+