diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 2acc2ce..89decb6 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -1,10 +1,10 @@ # Makefile for the various bits of documentation. # -# Copyright (C) 1992 Free Software Foundation, Inc. +# Copyright (C) 1992, 2004 Free Software Foundation, Inc. # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 1, or (at your option) +# the Free Software Foundation; either version 2, or (at your option) # any later version. # # This program is distributed in the hope that it will be useful, @@ -24,9 +24,7 @@ INSTALL = @INSTALL@ INSTALL_DATA = @INSTALL_DATA@ MAKEINFO = makeinfo -MAKEINFO_FLAGS = --paragraph-indent=2 -I$(HOME)/gnu/gnuorg -# That -I is purely for my own benefit in doing `make dist'. It won't -# hurt anything for you (I hope). +MAKEINFO_FLAGS = TEX = tex '\nonstopmode \input' TEXINDEX = texindex |