Commit 476335d6dc461eb8d68a1c3c4d992000ff5e5eea

Better differentiation of error messages. +Some TODO notes.
  
4545# - other capitals should not have been used (no S^, no C^ and no plain capitals);
4646# - more?
4747/\$Date.*\$$/ n # skip the 'preamble'
48/\^/ {
49w /dev/stderr
50q 56;} # (mostly GNU sed extensions)
4851/\^\|\(^\|[^\\]\)[[:upper:]]/ { # [^\\] -- a workaround for grammatical terms,
4952# to escape these restrictions on Latin characters: write them like \Pres, \Gen etc.
53# FIXME: I also use this workaround for filenames, e.g.: \Komi_rus_slovar1.pdf, but
54# this should be replaced for the sake of universality with smth like
55# \url{Komi_rus_slovar1.pdf}.
5056w /dev/stderr
5157q 57;} # (mostly GNU sed extensions)
5258"
5359
60# FIXME: A "keep-going" mode: detect all the non-well-formednesses, and accumulate all
61# the error codes in the exitCode (say, as bits).
62
5463exitCode="$?"
55if [[ "$exitCode" == 57 ]]; then
56 echo $"-- error: non well-formed input!" >/dev/stderr
57fi
64case "$exitCode" in
6556) echo $"-- error: non well-formed input (a left-over '^')!" >/dev/stderr
66 ;;
6757) echo $"-- error: non well-formed input (a left-over capital Latin char)!" >/dev/stderr
68 ;;
69esac
5870exit "$exitCode"
5971
72# Relevant for Mordvin:
6073# Check that I have marked softenss? E.g., :
6174# |ti|t'i|