diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 39fc686b3e..ab3d8bf5c6 100644 --- a/Makefile.in +++ b/Makefile.in @@ -164,6 +164,9 @@ fake.rb: Makefile ' > $@ Makefile: $(srcdir)/Makefile.in $(srcdir)/enc/Makefile.in +Doxyfile: $(srcdir)/Doxyfile.in config.status + MAKE=$(MAKE) $(SHELL) ./config.status + $(MKFILES): config.status MAKE=$(MAKE) $(SHELL) ./config.status |