diff options
Diffstat (limited to 'doc/project.am')
| -rw-r--r-- | doc/project.am | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/project.am b/doc/project.am index a84627507f..e2409cdbfd 100644 --- a/doc/project.am +++ b/doc/project.am @@ -78,3 +78,10 @@ endif # USE_PS if USE_PDF pdf_DATA = $(PROJECT).pdf endif + +COMMON_FILES = $(top_srcdir)/common/setup.texi +COMMON_FILES += $(top_builddir)/common/rtems.texi + +$(top_builddir)/common/rtems.texi: $(top_srcdir)/common/rtems.texi.in $(top_builddir)/common/rtems.sed + sed -f $(top_builddir)/common/rtems.sed \ + $(top_srcdir)/common/rtems.texi.in > $(top_builddir)/common/rtems.texi |