/* Concatenate two arbitrary file names.
- Copyright (C) 1996, 1997, 2003, 2005 Free Software Foundation, Inc.
+ Copyright (C) 1996, 1997, 2003, 2005, 2007 Free Software Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
char *file_name_concat (char const *dir, char const *base,
char **base_in_result);
+
+char *mfile_name_concat (char const *dir, char const *base,
+ char **base_in_result);