Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236;
Date: Sun, 12 Aug 2018 22:21:24 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: [lojban] A significant jbovlaste fix.
Message-ID: <20180813052124.GH21908@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Disposition: inline
User-Agent: Mutt/1.10.0 (2018-05-17)
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -2.7
X-Spam_score_int: -26
X-Spam_bar: --
Content-Length: 1081


As many people have noticed, sometimes jbovlaste's PDF output just
... stops.  This is because people inject invalid LaTeX into the
definitions.  It has, historically, required an admin to actually
*find the problem*, which is terrible.

I've finally fixed that; jbovlaste will now show you enough that
only a modicum of LaTeX knowledge is required to find the problem
(and maybe not even that; the thing I just fixed had a line eding
with "$x_1=y_1", no trailing $, which is pretty obviously wrong).

The change is at
https://github.com/lojban/jbovlaste/commit/294e05574c5701909e89d00d0e14be72b6565094
, if anyone's interested.

On a related note, English now PDFs properly again.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.