From 273fb428337518e3ea8341f28525b82a832c9807 Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Thu, 23 Jun 1994 13:47:02 +0000
Subject: [PATCH] Changed Header into Id

---
 bin/cc-and-mkdep.ack | 2 +-
 bin/cc-and-mkdep.all | 2 +-
 bin/cc-and-mkdep.sun | 2 +-
 bin/do_deps          | 2 +-
 bin/do_resolve       | 2 +-
 bin/lint-lib.ack     | 2 +-
 bin/lint-lib.unix    | 2 +-
 bin/rm_deps          | 2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/bin/cc-and-mkdep.ack b/bin/cc-and-mkdep.ack
index fc9e04949..fb7103eb8 100755
--- a/bin/cc-and-mkdep.ack
+++ b/bin/cc-and-mkdep.ack
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Compile and make dependencies. First argument is the file on which the
 : dependencies must be produced. This version is for ACK.
diff --git a/bin/cc-and-mkdep.all b/bin/cc-and-mkdep.all
index 853916562..3a5271ef6 100755
--- a/bin/cc-and-mkdep.all
+++ b/bin/cc-and-mkdep.all
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Compile and make dependencies. First argument is the file on which the
 : dependencies must be produced. This version is a generic one that should
diff --git a/bin/cc-and-mkdep.sun b/bin/cc-and-mkdep.sun
index c77e5e380..0245b9cf6 100755
--- a/bin/cc-and-mkdep.sun
+++ b/bin/cc-and-mkdep.sun
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Compile and make dependencies. First argument is the file on which the
 : dependencies must be produced. This version is for the SUN cc.
diff --git a/bin/do_deps b/bin/do_deps
index 04b013beb..51418c741 100755
--- a/bin/do_deps
+++ b/bin/do_deps
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Produce dependencies for all argument files
 
diff --git a/bin/do_resolve b/bin/do_resolve
index 3b50dfeb0..064bcbedf 100755
--- a/bin/do_resolve
+++ b/bin/do_resolve
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Resolve name clashes in the files on the argument list. If these
 : files reside in another directory, a copy is made in the current
diff --git a/bin/lint-lib.ack b/bin/lint-lib.ack
index e83ec5f7b..b851ac270 100755
--- a/bin/lint-lib.ack
+++ b/bin/lint-lib.ack
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Create a lint library file. The name of the library file is constructed
 : from the first argument. The second argument indicates the directory where
diff --git a/bin/lint-lib.unix b/bin/lint-lib.unix
index 91c5fc7c5..eb20c2625 100755
--- a/bin/lint-lib.unix
+++ b/bin/lint-lib.unix
@@ -1,4 +1,4 @@
-: '$Header$'
+: '$Id$'
 
 : Create a lint library file. The name of the library file is constructed
 : from the first argument. The second argument indicates the directory where
diff --git a/bin/rm_deps b/bin/rm_deps
index 33e4a7d87..6a136f132 100755
--- a/bin/rm_deps
+++ b/bin/rm_deps
@@ -1,4 +1,4 @@
-: $Header$
+: $Id$
 
 : remove dependencies from a makefile, write result on standard output.
 : we cannot do this directly in a makefile because some make versions