diff options
-rw-r--r-- | doc/supplements/ChangeLog | 4 | ||||
-rw-r--r-- | doc/supplements/supplement.am | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/doc/supplements/ChangeLog b/doc/supplements/ChangeLog index 677b4a40d9..3efabc903b 100644 --- a/doc/supplements/ChangeLog +++ b/doc/supplements/ChangeLog @@ -1,3 +1,7 @@ +2002-12-08 Ralf Corsepius <corsepiu@faw.uni-ulm.de> + + * supplement.am: Append -I $(topsrc_dir) to AM_MAKEINFOFLAGS. + 2002-07-30 Joel Sherrill <joel@OARcorp.com> * Makefile.am: Added arm subdirectory. diff --git a/doc/supplements/supplement.am b/doc/supplements/supplement.am index cdeb6a15b1..497b3109a8 100644 --- a/doc/supplements/supplement.am +++ b/doc/supplements/supplement.am @@ -7,7 +7,7 @@ REPLACE2 = $(PERL) $(top_srcdir)/tools/word-replace2 TEXINFO_TEX = ../../texinfo/texinfo.tex -AM_MAKEINFOFLAGS = -I ../.. +AM_MAKEINFOFLAGS = -I ../.. -I $(top_srcdir) MAINTAINERCLEANFILES += $(GENERATED_FILES) html_projectdir = $(htmldir)/supplements/$(PROJECT) |