diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1997-06-04 16:04:51 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1997-06-04 16:04:51 +0000 |
commit | dfce927227863dedd9b0df67744e28de8b8692d5 (patch) | |
tree | f7278cc2a4b1da15013a57e84cba97cf0b506802 | |
parent | changed version number (diff) | |
download | rtems-dfce927227863dedd9b0df67744e28de8b8692d5.tar.bz2 |
Added CVS Id string
-rw-r--r-- | doc/Makefile | 3 | ||||
-rwxr-xr-x | doc/do_docs | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 616c7d5ceb..024016ab81 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,3 +1,6 @@ +# +# $Id$ +# include Make.config diff --git a/doc/do_docs b/doc/do_docs index a657b5c63f..4f5ce20016 100755 --- a/doc/do_docs +++ b/doc/do_docs @@ -1,4 +1,7 @@ #! /bin/sh +# +# $Id$ +# basedir=$1 shift |