From 959ab92452c48a0d5f49409dd1b285f422703c91 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 27 May 2012 19:51:26 +0000
Subject: -undo

---
 bin/rename.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin')

diff --git a/bin/rename.sh b/bin/rename.sh
index 178b44081..7d5790b41 100755
--- a/bin/rename.sh
+++ b/bin/rename.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-for n in `find * -name "*.c"` `find * -name "*.h"` `find * -name "*.in"`
+for n in `find * -name "*.c"` `find * -name "*.h"`
 do
  cat $n | sed -e "s/$1/$2/g" > $n.new
  mv $n.new $n || echo "Move failed: $n.new to $n"
-- 
cgit v1.2.3