# HG changeset patch # User Jim Hague # Date 1565259609 -3600 # Node ID edcc3887f06f5bfdf35018c7a49635df290d1c34 # Parent 93e5a97c78e94fc27a1a19856a34bebca9b07874 Adding missing words to web typesetting blurb. diff -r 93e5a97c78e9 -r edcc3887f06f web/index.html --- a/web/index.html Thu Aug 08 09:05:26 2019 +0100 +++ b/web/index.html Thu Aug 08 11:20:09 2019 +0100 @@ -172,7 +172,8 @@ are generated with abcMIDI and TiMidity++.

-

The printed documents are +

The printed documents are typeset with + LATEX using XƎLATEX