-
-void bad_formator_pool (char *name, char *defaultname, char *envvar)
-{
- if (name == NULL)
- name = defaultname;
-
- sprintf(log_line, "(Perhaps %s is for an older version of TeX)\n", name);
- show_line(log_line, 0);
- name_of_file[name_length + 1] = '\0';
- sprintf(log_line, "(Alternatively, %s may have been corrupted)\n", name_of_file + 1);
- show_line(log_line, 0);
- name_of_file[name_length + 1] = ' ';
- sprintf(log_line, "(Perhaps your %s environment variable is not set correctly)\n", envvar);
- show_line(log_line, 0);
-
- {
- char *s; /* extra info 99/April/28 */
-
- if ((s = grabenv(envvar)) != NULL)
- {
- sprintf(log_line, "(%s=%s)\n", envvar, s);
- show_line(log_line, 0);
- }
- else
- {
- sprintf(log_line, "%s environment variable not set\n", envvar);
- show_line(log_line, 0);
- }
- }
-#ifndef _WINDOWS
- fflush(stdout);
-#endif
-}