diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/Makefile.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 4078b14b85..71d12a478c 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -6,6 +6,15 @@ @SET_MAKE@ srcdir = @srcdir@ +top_srcdir = @top_srcdir@ +top_builddir = .. +subdir = doc + +INSTALL = @INSTALL@ + +RTEMS_ROOT = $(top_srcdir)/@RTEMS_TOPdir@ +PROJECT_ROOT = @PROJECT_ROOT@ + prefix = @prefix@ exec_prefix = @exec_prefix@ bindir = @bindir@ @@ -26,3 +35,7 @@ CLOBBER_ADDITIONS += all: install: all + +Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status + cd $(top_builddir) \ + && CONFIG_FILES=$(subdir)/$@ CONFIG_HEADERS= $(SHELL) ./config.status |