aboutsummaryrefslogtreecommitdiff
path: root/gas/Makefile.in
diff options
context:
space:
mode:
authorK. Richard Pixley <rich@cygnus>1992-03-14 03:08:29 +0000
committerK. Richard Pixley <rich@cygnus>1992-03-14 03:08:29 +0000
commit95a925b8f1d92ed6955007dff0dd1ee7ff1771d6 (patch)
tree63a3a033d2b8770f68778248b6a3e90b127a076c /gas/Makefile.in
parent5b4c9f7763327c76d4fc9dbcac0d45b2ee1c0afe (diff)
downloadgdb-95a925b8f1d92ed6955007dff0dd1ee7ff1771d6.zip
gdb-95a925b8f1d92ed6955007dff0dd1ee7ff1771d6.tar.gz
gdb-95a925b8f1d92ed6955007dff0dd1ee7ff1771d6.tar.bz2
pass MAKEINFO macro on info
Diffstat (limited to 'gas/Makefile.in')
-rw-r--r--gas/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/Makefile.in b/gas/Makefile.in
index 543ccb7..215dd84 100644
--- a/gas/Makefile.in
+++ b/gas/Makefile.in
@@ -168,7 +168,7 @@ all: as.new
(cd doc ; $(MAKE) all)
info:
- (cd doc ; $(MAKE) info)
+ (cd doc ; $(MAKE) info "MAKEINFO=$(MAKEINFO)")
install-info:
(cd doc ; $(MAKE) install-info)