diff options
author | Thomas Roessler <roessler@does-not-exist.org> | 1998-10-13 20:44:24 +0000 |
---|---|---|
committer | Thomas Roessler <roessler@does-not-exist.org> | 1998-10-13 20:44:24 +0000 |
commit | d1e04a3c6d199316923055d9c7d47cda09c7b9b8 (patch) | |
tree | 945bd38552d76c1074b8c349c0412da4bae39c40 /doc/Makefile.in | |
parent | 0f4998315c118d214ef8f9a9fa4f4ee490da12f2 (diff) |
Add RCS $Id$ strings to (hopefully) all source files.
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 0dc84a8f..bc0d4b45 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -1,3 +1,5 @@ +# $Id$ + SHELL=/bin/sh PACKAGE=@PACKAGE@ |