Re: Bug#42839: jadetex: No warning about wrong labels

Subject: Re: Bug#42839: jadetex: No warning about wrong labels
From: Sebastian Rahtz <sebastian.rahtz@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Date: Mon, 18 Oct 1999 10:27:17 +0100 (BST)
J.H.M. Dassen (Ray) writes:
 > > doesn't one just grep for
 > > 
 > >  Reference * on page .*
 > > 
 > > in the log file?
 > 
 > That would work for automated runs, but it's kind of cumbersome for manual
 > runs; a warning at the end would still be desirable for manual runs.

I thought the request was precisely about automated runs? for manual
use, I always run twice anyway

Sebastian


 DSSSList info and archive:  http://www.mulberrytech.com/dsssl/dssslist


Current Thread