diff options
Diffstat (limited to '')
-rw-r--r-- | doc/shell/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/shell/Makefile.am b/doc/shell/Makefile.am index 33b96ccd1c..98ad03586d 100644 --- a/doc/shell/Makefile.am +++ b/doc/shell/Makefile.am @@ -2,6 +2,9 @@ # COPYRIGHT (c) 1988-2007 # On-Line Applications Research Corporation (OAR). # All rights reserved. +# +# $Id$ +# PROJECT = shell |