# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 734234803 0
# Node ID b4145a12422d9f75e36dd46f48608a80205ef8b1
# Parent  49e894e9561d8d8606c82fd0a84a43c2cdd6aee0
	* make-docfile.c (write_c_args): Print an argument named "defalt"
	as "default".

diff -r 49e894e9561d -r b4145a12422d lib-src/make-docfile.c
--- a/lib-src/make-docfile.c	Thu Apr 08 00:14:50 1993 +0000
+++ b/lib-src/make-docfile.c	Thu Apr 08 02:06:43 1993 +0000
@@ -152,6 +152,7 @@
   for (p = buf; *p; p++)
     {
       char c = *p;
+      int ident_start = 0;
 
       /* Notice when we start printing a new identifier.  */
       if ((('A' <= c && c <= 'Z')
@@ -163,6 +164,7 @@
 	  if (!in_ident)
 	    {
 	      in_ident = 1;
+	      ident_start = 1;
 
 	      if (minargs == 0 && maxargs > 0)
 		fprintf (out, "&optional ");
@@ -181,7 +183,21 @@
       if (c == '_') c = '-';
       if (c == ',') c = ' ';
 
-      if (c != ' ' || ! just_spaced)
+      /* In C code, `default' is a reserved word, so we spell it
+	 `defalt'; unmangle that here.  */
+      if (ident_start
+	  && strncmp (p, "defalt", 6) == 0
+	  && ! (('A' <= p[6] && p[6] <= 'Z')
+		|| ('a' <= p[6] && p[6] <= 'z')
+		|| ('0' <= p[6] && p[6] <= '9')
+		|| p[6] == '_'))
+	{
+	  fprintf (out, "default");
+	  p += 5;
+	  in_ident = 0;
+	  just_spaced = 0;
+	}
+      else if (c != ' ' || ! just_spaced)
 	putc (c, out);
 
       just_spaced = (c == ' ');