# 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