look in srcdir for texinfo source, then in objdir

diff --git a/gas/doc/Makefile.in b/gas/doc/Makefile.in
index 55744fc0212bac7327342e8eed0063dce0fce4f0..47c6e692e7b65c764faa665bbda6c3c83c2dd278 100644 (file)
--- 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