Yes, that's a bug, I just fixed.
Mark Polesky wrote:
Bertalan Fodor (LilyPondTool) wrote:
Oh, I just found it out what you are referring to. You are looking at
the old source code of LilyPondTool. The source code doesn't ever have
the docs.
It is zipped into the LilyPondTool.jar file.
You can access the help from the jEdit help.
I see. But clicking on
Plugins > LilyPondTool > Help > LilyPondTool help
pops this up:
The file jeditresource:LilyPondTool.jar!/docs/users-guide.html
could not be loaded due to an I/O error.
(java.io.IOException: Resource not found:
LilyPondTool.jar!/docs/users-guide.html)
- Mark
_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-user
