Changed Header into Id

diff --git a/bin/cc-and-mkdep.ack b/bin/cc-and-mkdep.ack
index fc9e049..fb7103e 100755 (executable)
--- 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 8539165..3a5271e 100755 (executable)
--- 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 c77e5e3..0245b9c 100755 (executable)
--- 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 04b013b..51418c7 100755 (executable)
--- 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 3b50dfe..064bcbe 100755 (executable)
--- 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 e83ec5f..b851ac2 100755 (executable)
--- 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 91c5fc7..eb20c26 100755 (executable)
--- 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 33e4a7d..6a136f1 100755 (executable)
--- 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