diff options
Diffstat (limited to 'gas/Makefile.in')
| -rw-r--r-- | gas/Makefile.in | 2 |
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) |