diff options
| -rw-r--r-- | gnu/usr.bin/binutils/gas/doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/binutils/gas/doc/Makefile.in b/gnu/usr.bin/binutils/gas/doc/Makefile.in index c6b51603bcb..5a2f26bcbf2 100644 --- a/gnu/usr.bin/binutils/gas/doc/Makefile.in +++ b/gnu/usr.bin/binutils/gas/doc/Makefile.in @@ -338,7 +338,7 @@ distclean-libtool: -o $@ $< if test ! -d $@ && test -d $(@:.html=); then \ mv $(@:.html=) $@; else :; fi -$(srcdir)/as.info: as.texinfo +as.info: as.texinfo as.pdf: as.texinfo as.html: as.texinfo .dvi.ps: |