diff index.html @ 4659:073464b5e319

build-flex: allow build to work on systems without flex * build-flex-1-fixes.patch: Also patch generated scan.c file so that build will succeed on systems that don't have flex installed.
author John W. Eaton <jwe@octave.org>
date Thu, 12 Apr 2018 17:37:58 -0400
parents 2f14bc0c6d0c
children 6592c495d120
line wrap: on
line diff