diff options
Diffstat (limited to 'gas/doc/Makefile.in')
| -rw-r--r-- | gas/doc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gas/doc/Makefile.in b/gas/doc/Makefile.in index 4ae77be..369f74f 100644 --- a/gas/doc/Makefile.in +++ b/gas/doc/Makefile.in @@ -396,7 +396,8 @@ man_MANS = as.1 info_TEXINFOS = as.texi as_TEXINFOS = asconfig.texi $(CPU_DOCS) AM_MAKEINFOFLAGS = -I "$(srcdir)" -I "$(top_srcdir)/../libiberty" \ - -I "$(top_srcdir)/../bfd/doc" -I ../../bfd/doc + -I "$(top_srcdir)/../bfd/doc" -I ../../bfd/doc \ + --no-split TEXI2DVI = texi2dvi -I "$(srcdir)" -I "$(top_srcdir)/../libiberty" \ -I "$(top_srcdir)/../bfd/doc" -I ../../bfd/doc |