diff options
Diffstat (limited to 'doc/main.am')
-rw-r--r-- | doc/main.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/main.am b/doc/main.am index b9b6d85aa7..24ad285c11 100644 --- a/doc/main.am +++ b/doc/main.am @@ -1,4 +1,6 @@ -AM_MAKEINFOFLAGS = -I .. -I $(top_srcdir) +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)/$(PROJECT) |