Skip to content

/ jflex

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Bug] minor flaws in documentation [sf#125] #126

Closed
lsf37 opened this issue Feb 15, 2015 · 0 comments
Closed

[Bug] minor flaws in documentation [sf#125] #126

lsf37 opened this issue Feb 15, 2015 · 0 comments
Labels
bug
Milestone
1.5.1

Comments

@lsf37
Copy link
Member

@lsf37 lsf37 commented Feb 15, 2015

Reported by mranderson2010 on 2014-02-03 16:52 UTC

  • 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?)
@lsf37 lsf37 changed the title minor flaws in documentation [Bug] minor flaws in documentation [sf#125] Feb 15, 2015
@lsf37 lsf37 added this to the jflex bug milestone Feb 15, 2015
@lsf37 lsf37 closed this Feb 15, 2015
@lsf37 lsf37 added bug and removed bug labels Feb 15, 2015
@lsf37 lsf37 modified the milestone: jflex bug Feb 17, 2015
@regisd regisd added this to the 1.5.1 milestone Nov 4, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
1.5.1
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
@regisd @lsf37
You can’t perform that action at this time.