diff options
-rwxr-xr-x | doc/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index ea44756..469ebf2 100755 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,4 +1,8 @@ +if CROSS +FLEX = $(top_builddir)/src/stage1flex +else FLEX = $(top_builddir)/src/flex$(EXEEXT) +endif TEXI2DVI = @TEXI2DVI@ -I $(srcdir)/../examples/manual/ TEXI2PDF = @TEXI2PDF@ -I $(srcdir)/../examples/manual/ |