diff options
Diffstat (limited to '')
-rw-r--r-- | doc/supplements/supplement.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/supplements/supplement.am b/doc/supplements/supplement.am index e2c3905556..bc9b442a97 100644 --- a/doc/supplements/supplement.am +++ b/doc/supplements/supplement.am @@ -6,6 +6,9 @@ REPLACE2 = $(PERL) $(top_srcdir)/tools/word-replace2 +TEXINFO_TEX = ../../texinfo/texinfo.tex +TEXI_COMMON = -I ../.. + MAINTAINERCLEANFILES += $(GENERATED_FILES) html_projectdir = $(htmldir)/supplements/$(PROJECT) |