-
-/**************************** start of insertion 98/Feb/7 **************/
-// Attempt to deal with foo.bar.tex given as foo.bar on command line
-// Makes copy of job_name with extension
-
-void more_name_copy(ASCII_code c)
-{
-#ifdef ALLOCATESTRING
- if (pool_ptr + 1 > current_pool_size)
- str_pool = realloc_str_pool (increment_pool_size);
-
- if (pool_ptr + 1 > current_pool_size)
- {
- overflow("pool size", current_pool_size - init_pool_ptr);
- return;
- }
-#else
- if (pool_ptr + 1 > pool_size)
- {
- overflow("pool size", pool_size - init_pool_ptr);
- return;
- }
-#endif
-
- str_pool[pool_ptr] = c;
- incr(pool_ptr);
-}
-
-int end_name_copy(void)
-{
-#ifdef ALLOCATESTRING
- if (str_ptr + 1 > current_max_strings)
- str_start = realloc_str_start(increment_max_strings + 1);
-
- if (str_ptr + 1 > current_max_strings)
- {
- overflow("number of strings", current_max_strings - init_str_ptr);
- return 0;
- }
-#else
- if (str_ptr + 1 > max_strings)
- {
- overflow("number of strings", max_strings - init_str_ptr);
- return 0;
- }
-#endif
-
- return make_string();
-}
-
-void job_name_append (void)
-{
- int k, n;
-
- k = str_start[job_name];
- n = str_start[job_name + 1];
-
- while (k < n)
- more_name_copy(str_pool[k++]);
-
- k = str_start[cur_ext];
- n = str_start[cur_ext + 1];
-
- while (k < n)
- more_name_copy(str_pool[k++]);
-
- job_name = end_name_copy();
-}
-
-/**************************** end of insertion 98/Feb/7 **************/