Adding separate documentation file containing instructions on how to build the jEdit documentation. Should make it easier to find.
Authored by: Eric Berry 2010-06-20
Parent: [16bd19]
Child: [9fb091]