# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1082976486 0
# Node ID c2f1d71314c450f74448ab096e2ca90e10fd5c2c
# Parent  1a8fe9f88f094c9a469b196f5fc80d796f33ff45
(IS_DIRECTORY_SEP): New macro.
(put_filename): Remove unused variable len.  Use IS_DIRECTORY_SEP
instead of a literal '/'.

diff -r 1a8fe9f88f09 -r c2f1d71314c4 lib-src/make-docfile.c
--- a/lib-src/make-docfile.c	Mon Apr 26 03:13:43 2004 +0000
+++ b/lib-src/make-docfile.c	Mon Apr 26 10:48:06 2004 +0000
@@ -60,6 +60,10 @@
 #define READ_BINARY "r"
 #endif /* not DOS_NT */
 
+#ifndef IS_DIRECTORY_SEP
+#define IS_DIRECTORY_SEP(_c_) ((_c_) == '/')
+#endif
+
 int scan_file ();
 int scan_lisp_file ();
 int scan_c_file ();
@@ -183,11 +187,13 @@
 put_filename (filename)
      char *filename;
 {
-  char *tmp = filename;
-  int len;
-  
-  while ((tmp = index (filename, '/')))
-    filename = tmp + 1;
+  char *tmp;
+
+  for (tmp = filename; *tmp; tmp++)
+    {
+      if (IS_DIRECTORY_SEP(*tmp))
+	filename = tmp + 1;
+    }
 
   putc (037, outfile);
   putc ('S', outfile);