diff options
| -rw-r--r-- | gas/doc/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gas/doc/Makefile.in b/gas/doc/Makefile.in index 55744fc..47c6e69 100644 --- a/gas/doc/Makefile.in +++ b/gas/doc/Makefile.in @@ -101,7 +101,11 @@ install-info: as.info done as.dvi: as-${CONFIG}.texinfo - $(TEXI2DVI) $(srcdir)/as-$(config).texinfo + if [ -f $(srcdir)/as-$(CONFIG).texinfo ] ; then \ + $(TEXI2DVI) $(srcdir)/as-$(CONFIG).texinfo ; \ + else \ + $(TEXI2DVI) as-$(CONFIG).texinfo ; \ + fi mv as-${CONFIG}.dvi as.dvi # ROFF doc targets as.ms, as.mm, as.me |