diff options
Diffstat (limited to 'doc/project.am')
| -rw-r--r-- | doc/project.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/project.am b/doc/project.am index 93620b4f94..5ba13027be 100644 --- a/doc/project.am +++ b/doc/project.am @@ -15,6 +15,9 @@ 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: |