diff options
Diffstat (limited to '')
-rw-r--r-- | doc/supplements/supplement.am | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/supplements/supplement.am b/doc/supplements/supplement.am index dcd04fbf11..752523065a 100644 --- a/doc/supplements/supplement.am +++ b/doc/supplements/supplement.am @@ -6,10 +6,6 @@ REPLACE2 = $(PERL) $(top_srcdir)/tools/word-replace2 -AM_MAKEINFOFLAGS = -I $(top_builddir) -I $(top_srcdir) -TEXI2DVI = @TEXI2DVI@ -I $(top_builddir) -I $(top_srcdir) -TEXI2PDF = @TEXI2PDF@ -I $(top_builddir) -I $(top_srcdir) - html_projectdir = $(htmldir)/supplements/$(PROJECT) TEXI2WWW_ARGS=\ |