diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 580de89..e202ffa 100644 --- a/Makefile.in +++ b/Makefile.in @@ -289,6 +289,7 @@ all: $(ALL) .PHONY: do-info do-check do-dvi do-install-info .PHONY: do-clean do-mostlyclean do-distclean do-realclean .NOEXPORT: +MAKEOVERRIDES= # Do a target for all the subdirectories. A ``make do-X'' will do a # ``make X'' in all subdirectories (because, in general, there is a |