# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 797789143 0
# Node ID 9cd115f444835b2de39f0417d858db69c0aecd29
# Parent  513d8c69dc6f5d834125a0e4c7d4afd8bc3e53a4
(scan_c_file): At end, restore file name last char to its original value.

diff -r 513d8c69dc6f -r 9cd115f44483 lib-src/make-docfile.c
--- a/lib-src/make-docfile.c	Thu Apr 13 16:03:08 1995 +0000
+++ b/lib-src/make-docfile.c	Thu Apr 13 16:05:43 1995 +0000
@@ -322,8 +322,9 @@
   register int defvarperbufferflag;
   register int defvarflag;
   int minargs, maxargs;
+  int extension = filename[strlen (filename) - 1];
 
-  if (filename[strlen (filename) - 1] == 'o')
+  if (extension == 'o')
     filename[strlen (filename) - 1] = 'c';
 
   infile = fopen (filename, mode);
@@ -335,6 +336,9 @@
       return 0;
     }
 
+  /* Reset extension to be able to detect duplicate files. */
+  filename[strlen (filename) - 1] = extension;
+
   c = '\n';
   while (!feof (infile))
     {