Menu ▾ ▴

#125 minor flaws in documentation

jflex bug
closed-fixed
nobody
None
5
2014-03-29
2014-02-03
mranderson2007
No
  • There is missing a space in the section Deficiencies: "JFlex 1.5.0conforms"
  • The graphic of the img tag in the HTML version from the tarball does not exist.
  • The png files "footnote.png" and "crossref.png" in jflex/doc are broken due to line ending conversions (in the tarball as well as in the subversion repository). Sound versions are at http://jflex.de/crossref.png and http://jflex.de/footnote.png (is crossref.png even anywhere in use?)

Discussion

  • Gerwin Klein

    Gerwin Klein - 2014-02-04

    Thanks for pointing these out. They are now fixed in r780 and will make it into the next release.

     

  • Gerwin Klein

    Gerwin Klein - 2014-03-29
    • status: open --> closed-fixed