diff options
| author | David D. Zuhn <zoo@cygnus> | 1993-03-25 08:32:08 +0000 |
|---|---|---|
| committer | David D. Zuhn <zoo@cygnus> | 1993-03-25 08:32:08 +0000 |
| commit | 62550228b6fa6ed1a1503b509dcd467c30bfc485 (patch) | |
| tree | 772ad5802b61b71df830a4448bbe65f3ad0c0e97 /gas/doc | |
| parent | 7996cbedc8fcd3c066f802cf179ee06b781b9f0f (diff) | |
| download | gdb-62550228b6fa6ed1a1503b509dcd467c30bfc485.zip gdb-62550228b6fa6ed1a1503b509dcd467c30bfc485.tar.gz gdb-62550228b6fa6ed1a1503b509dcd467c30bfc485.tar.bz2 | |
look in srcdir for texinfo source, then in objdir
Diffstat (limited to 'gas/doc')
| -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 |