I was unsatisfied with GuitarTex myself, and actually wrote an app for this. I don't know if it'll suit his needs or not because it's still a beta, and only I have tested it. But if he'd like to give it a shot, I could use the feedback. http://freshmeat.net/projects/chorddb/ It's designed for making sets of songs, mostly. Chords are detected automatically if entered from crd (standard fake sheets), and converted otherwise. I personally think the front-end is very intuitive, but I did write it... Anyway, it uses a latex style to create pdf files (or you can just make plaintext, chordpro, or latex files). I've stopped development on this version mostly to switch over to SOAP or XML-RPC and a java front-end (so that some form of markup is possible); I've pretty much reached the limit of javascript's capabilites.
