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: --


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.