diff options
Diffstat (limited to 'Build/source/texk/ps2pkm/filenames.h')
-rw-r--r-- | Build/source/texk/ps2pkm/filenames.h | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/Build/source/texk/ps2pkm/filenames.h b/Build/source/texk/ps2pkm/filenames.h new file mode 100644 index 00000000000..5d4b897a0a0 --- /dev/null +++ b/Build/source/texk/ps2pkm/filenames.h @@ -0,0 +1,30 @@ +/* FILE: filenames.h + * PURPOSE: functions for handling file names + * VERSION: 1.3 (August 1992) + * VERSION: 1.4 (January 1994) + * VERSION: 1.5 (September 1995) + */ + +/* + * Determine extension of <str>. + */ +char *extension(char *str); + +/* + * Basename is the functional equivalent of BSD's basename utility. + * When the suffix is NULL no suffix removal is done. When needed + * a new string is allocated so that the original value of str is + * not changed. + */ +char *basename(char *str, char *suffix); + +/* + * Newname builds a new filename by adding or replacing the extension + * of the given <name> with the new supplied <ext>. + */ +char *newname(char *name, char *ext); + +/* + * ps_resource returns true if name can be treated as a PS resource + */ +int ps_resource(char *name); |