diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-08-04 21:33:41 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-08-04 21:33:41 +0000 |
commit | 5f5e71aca771bcb3fc0cbcd81cf8705d00e18756 (patch) | |
tree | f56d22f81412fcba1bfe48f4358099620e30fc30 | |
parent | a35fb5b790641462089f4bab66b87918408aeede (diff) | |
download | mdk-5f5e71aca771bcb3fc0cbcd81cf8705d00e18756.tar.gz mdk-5f5e71aca771bcb3fc0cbcd81cf8705d00e18756.tar.bz2 |
minor changes
-rw-r--r-- | doc/mdk.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi index bd41b79..7dd6a52 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -5,6 +5,7 @@ @syncodeindex pg cp @c @finalout @setchapternewpage odd +@c $Id: mdk.texi,v 1.25 2004/08/04 21:33:41 jao Exp $ @c %**end of header @set UPDATED August, 2004 @@ -247,4 +248,3 @@ Copying @bye -$Id: mdk.texi,v 1.24 2004/08/03 13:23:05 jao Exp $ |