diff options
Diffstat (limited to 'doc/ref/script-getopt.texi')
-rw-r--r-- | doc/ref/script-getopt.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/ref/script-getopt.texi b/doc/ref/script-getopt.texi index c71dbd205..274c79912 100644 --- a/doc/ref/script-getopt.texi +++ b/doc/ref/script-getopt.texi @@ -1,3 +1,9 @@ +@c -*-texinfo-*- +@c This is part of the GNU Guile Reference Manual. +@c Copyright (C) 1996, 1997, 2000, 2001, 2002, 2003, 2004 +@c Free Software Foundation, Inc. +@c See the file guile.texi for copying conditions. + @page @node Command Line Handling @chapter Handling Command Line Options and Arguments |