diff options
Diffstat (limited to 'doc/project.am')
| -rw-r--r-- | doc/project.am | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/project.am b/doc/project.am index cebc506336..0ec41a28f5 100644 --- a/doc/project.am +++ b/doc/project.am @@ -14,9 +14,6 @@ AM_MAKEINFOFLAGS = -I $(top_builddir) -I $(top_srcdir) TEXI2DVI = @TEXI2DVI@ -I $(top_builddir) -I $(top_srcdir) TEXI2PDF = @TEXI2PDF@ -I $(top_builddir) -I $(top_srcdir) -# HACK: Force generation of version.texi -version.texi: stamp-vti - # Without $(srcdir) in TEXINPUTS, dvips doesn't find the *.eps # we distribute in $(srcdir) .dvi.ps: @@ -84,3 +81,5 @@ 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 + +$(srcdir)/version.texi: |