diff options
| author | Will Estes <westes575@gmail.com> | 2023-04-07 10:01:52 -0400 |
|---|---|---|
| committer | Will Estes <westes@users.noreply.github.com> | 2023-04-07 10:05:10 -0400 |
| commit | d30bdf45a88d59ae9fd2c893671dfa87f7363797 (patch) | |
| tree | ce37b61a530071e626b75c97088ed7b2a967ac39 | |
| parent | 4a4bac0b29c39d996adbd927d7164d2fb4b616d6 (diff) | |
| download | flex-git-d30bdf45a88d59ae9fd2c893671dfa87f7363797.tar.gz | |
fixes #560
| -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/ |