+  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

Reply via email to