diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index 8d6e05f..ddcd014 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -1,4 +1,4 @@ -##Copyright (C) 1991, 1992 Free Software Foundation, Inc. +##Copyright (C) 1991, 1992, 1999 Free Software Foundation, Inc. # Makefile for GDB documentation. # This file is part of GDB. @@ -24,7 +24,7 @@ prefix = @prefix@ infodir = @infodir@ -SHELL = /bin/sh +SHELL = @SHELL@ INSTALL = @INSTALL@ INSTALL_PROGRAM = @INSTALL_PROGRAM@ |