diff --git a/Build b/Build
index 801fe2bc61172c20954f6a9ad720685c3c67dd50..4911e63e006784e806c22add5f4314f71127c0dc 100755
--- a/Build
+++ b/Build
@@ -1,5 +1,6 @@
 #!/bin/sh
-make TOPDIR=`pwd` depend \ 
+# $Id: Build,v 1.4 1991/08/30 07:05:16 ceder Exp $
+make TOPDIR=`pwd` depend \
 && echo '*** Depend ready. Making libraries. ***' \
 && make TOPDIR=`pwd` libraries \
 && echo '*** Libraries ready. Making binaries. ***' \