diff --git a/doc/tinc.texi b/doc/tinc.texi
index 16229e53..8c909b9c 100644
--- a/doc/tinc.texi
+++ b/doc/tinc.texi
@@ -1,4 +1,5 @@
 \input texinfo   @c -*-texinfo-*-
+@c $Id: tinc.texi,v 1.8.4.5 2000/10/14 22:22:06 zarq Exp $
 @c %**start of header
 @setfilename tinc.info
 @settitle tinc Manual
@@ -16,6 +17,7 @@ Copyright @copyright{} 1998,199,2000 Ivo Timmermans
 <itimmermans@@bigfoot.com>, Guus Sliepen <guus@@sliepen.warande.net> and
 Wessel Dankers <wsl@@nl.linux.org>.
 
+$Id: tinc.texi,v 1.8.4.5 2000/10/14 22:22:06 zarq Exp $
 
 Permission is granted to make and distribute verbatim copies of this
 manual provided the copyright notice and this permission notice are
@@ -40,6 +42,8 @@ Copyright @copyright{} 1998,1999,2000 Ivo Timmermans
 <itimmermans@@bigfoot.com>, Guus Sliepen <guus@@sliepen.warande.net> and
 Wessel Dankers <wsl@@nl.linux.org>.
 
+$Id: tinc.texi,v 1.8.4.5 2000/10/14 22:22:06 zarq Exp $
+
 Permission is granted to make and distribute verbatim copies of this
 manual provided the copyright notice and this permission notice are
 preserved on all copies.