[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: texi2dvi changes
From: |
Karl Berry |
Subject: |
Re: texi2dvi changes |
Date: |
Wed, 23 Sep 2015 22:20:15 GMT |
+ if test $generated_files_get_method = generated_files_get_from_fls; then
+ if test -f "$in_noext.fl"; then
+ report 'WARNING!! You may typeset garbage!' # goes to stderr
+ fi
+ fi
(Aside: I usually find test -r more useful than test -f, because if by
some weird mischance something other than a regular file exists by that
name, it's still desirable to catch it.)
Seems fine, except I'd explicitly mention that the .fl[s] index is the
problem. Otherwise the user is left with a complete mystery. As in:
report 'WARNING!! The fl index may typeset as garbage!' # goes to stderr
It might even be worth adding:
report 'Use env TEXI2DVI_USE_RECORDER=no as a workaround.'
since anyone who gets this message is likely to just want to get on with
life, not delve into all the maddening details.
thanks,
karl