diff options
Diffstat (limited to 'gas/doc/Makefile.am')
| -rw-r--r-- | gas/doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gas/doc/Makefile.am b/gas/doc/Makefile.am index 72f4b0e..83f6a39 100644 --- a/gas/doc/Makefile.am +++ b/gas/doc/Makefile.am @@ -18,6 +18,7 @@ man_MANS = as.1 info_TEXINFOS = as.texinfo AM_MAKEINFOFLAGS = -I "$(srcdir)" -I "$(top_srcdir)/../libiberty" +TEXI2DVI = texi2dvi -I "$(srcdir)" -I "$(top_srcdir)/../libiberty" asconfig.texi: $(CONFIG).texi rm -f asconfig.texi |