Initial revision

1 files changed, 0 insertions, 53 deletions

diff --git a/gdb/copying.awk b/gdb/copying.awk
deleted file mode 100644
index a936318..0000000
--- a/gdb/copying.awk
+++ /dev/null
@@ -1,53 +0,0 @@
-BEGIN	{
-	  FS="\"";
-	  print "/* Do not modify this file; it is created automatically";
-	  print "   by copying.awk.  */";
-	  print "extern int immediate_quit;";
-	  print "static void";
-	  print "copying_info ()";
-	  print "{";
-	  print "  immediate_quit++;";
-	}
-NR == 1,/^[ 	]*NO WARRANTY[ 	]*$/	{
-	  if (! ($0 ~ /^[ 	]*NO WARRANTY[ 	]*$/)) 
-	    {
-	      printf "  printf_filtered (\"";
-	      for (i = 1; i < NF; i++)
-		printf "%s\\\"", $i;
-	      printf "%s\\n\");\n", $NF;
-	    }
-	}
-/^[	 ]*NO WARRANTY[ 	]*$/	{
-	  print "  immediate_quit--;";
-	  print "}";
-	  print "";
-	  print "static void";
-	  print "warranty_info ()";
-	  print "{";
-	  print "  immediate_quit++;";
-	}
-/^[ 	]*NO WARRANTY[ 	]*$/, /^[ 	]*END OF TERMS AND CONDITIONS[ 	]*$/{  
-	  if (! ($0 ~ /^[ 	]*END OF TERMS AND CONDITIONS[ 	]*$/)) 
-	    {
-	      printf "  printf_filtered (\"";
-	      for (i = 1; i < NF; i++)
-		printf "%s\\\"", $i;
-	      printf "%s\\n\");\n", $NF;
-	    }
-	}
-END	{
-	  print "  immediate_quit--;";
-	  print "}";
-	  print "";
-	  print "void"
-	  print "_initialize_copying ()";
-	  print "{";
-	  print "  add_info (\"copying\", copying_info,";
-	  print "	    \"Conditions for redistributing copies of GDB.\");";
-	  print "  add_info (\"warranty\", warranty_info,";
-	  print "	  \"Various kinds of warranty you do not have.\");";
-	  print "}";
-	}
-
-
-