# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 942411054 0
# Node ID 00b7d6135be48e77d5600c033d85faf664548c9e
# Parent  9991cb6f664a5c39a8333be152464db2828ef494
(Fdocumentation_property): Remove GCPRO because
Fsubstitute_command_keys gcpro's the string.

diff -r 9991cb6f664a -r 00b7d6135be4 src/doc.c
--- a/src/doc.c	Fri Nov 12 12:43:32 1999 +0000
+++ b/src/doc.c	Fri Nov 12 12:50:54 1999 +0000
@@ -400,13 +400,7 @@
   else if (CONSP (tem))
     tem = get_doc_string (tem, 0, 0);
   if (NILP (raw) && STRINGP (tem))
-    {
-      struct gcpro gcpro1;
-
-      GCPRO1 (tem);
-      tem = Fsubstitute_command_keys (tem);
-      UNGCPRO;
-    }
+    tem = Fsubstitute_command_keys (tem);
   return tem;
 }