From 7eff2adc06fdef0dd87d8874da7c794d1c7e2100 Mon Sep 17 00:00:00 2001
From: Assar Westerlund <assar@sics.se>
Date: Sun, 28 Jan 2001 22:11:23 +0000
Subject: [PATCH] add Id to texi files

git-svn-id: svn://svn.h5l.se/heimdal/trunk/heimdal@9548 ec53bebd-3082-4978-b11e-865c3cabbd6b
---
 doc/ack.texi       | 2 ++
 doc/install.texi   | 2 ++
 doc/intro.texi     | 2 ++
 doc/kerberos4.texi | 2 ++
 doc/misc.texi      | 2 ++
 doc/setup.texi     | 2 ++
 doc/whatis.texi    | 2 ++
 7 files changed, 14 insertions(+)

diff --git a/doc/ack.texi b/doc/ack.texi
index 88ca3792f..862bf0b00 100644
--- a/doc/ack.texi
+++ b/doc/ack.texi
@@ -1,3 +1,5 @@
+@c $Id$
+
 @node  Acknowledgments, , Windows 2000 compatability, Top
 @comment  node-name,  next,  previous,  up
 @appendix Acknowledgments
diff --git a/doc/install.texi b/doc/install.texi
index 3874389f0..57fd89271 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -1,3 +1,5 @@
+@c $Id$
+
 @node Building and Installing, Setting up a realm, What is Kerberos?, Top
 @comment  node-name,  next,  previous,  up
 @chapter Building and Installing
diff --git a/doc/intro.texi b/doc/intro.texi
index 518aada8a..c2c3dbae2 100644
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -1,3 +1,5 @@
+@c $Id$
+
 @node Introduction, What is Kerberos?, Top, Top
 @c @node Introduction, What is Kerberos?, Top, Top
 @comment  node-name,  next,  previous,  up
diff --git a/doc/kerberos4.texi b/doc/kerberos4.texi
index 23a8cb4d1..ac9839172 100644
--- a/doc/kerberos4.texi
+++ b/doc/kerberos4.texi
@@ -1,3 +1,5 @@
+@c $Id$
+
 @node Kerberos 4 issues, Migration, Things in search for a better place, Top
 @comment  node-name,  next,  previous,  up
 @chapter Kerberos 4 issues
diff --git a/doc/misc.texi b/doc/misc.texi
index 764636fd7..2fbdbc2ee 100644
--- a/doc/misc.texi
+++ b/doc/misc.texi
@@ -1,3 +1,5 @@
+@c $Id$
+
 @node Things in search for a better place, Kerberos 4 issues, Setting up a realm, Top
 @chapter Things in search for a better place
 
diff --git a/doc/setup.texi b/doc/setup.texi
index faf2ee04e..ac58e3623 100644
--- a/doc/setup.texi
+++ b/doc/setup.texi
@@ -1,3 +1,5 @@
+@c $Id$
+
 @node Setting up a realm, Things in search for a better place, Building and Installing, Top
 
 @chapter Setting up a realm
diff --git a/doc/whatis.texi b/doc/whatis.texi
index 97d4da2aa..588d938dc 100644
--- a/doc/whatis.texi
+++ b/doc/whatis.texi
@@ -1,3 +1,5 @@
+@c $Id$
+
 @node What is Kerberos?, Building and Installing, Introduction, Top
 @chapter What is Kerberos?