diff options
author | Karl Berry <karl@freefriends.org> | 2021-02-25 19:22:25 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-02-25 19:22:25 +0000 |
commit | ad547a6b5986815fda458221149728d9d9ab1d87 (patch) | |
tree | 16296910eb3eca724371474ea9aea3994dc69614 /Build/source/texk/ps2pk/filenames.h | |
parent | 947b43de3dd21d58ccc2ffadefc4441ea1c2a813 (diff) |
restore Build,TODO from r57911
git-svn-id: svn://tug.org/texlive/trunk@57915 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/ps2pk/filenames.h')
-rw-r--r-- | Build/source/texk/ps2pk/filenames.h | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Build/source/texk/ps2pk/filenames.h b/Build/source/texk/ps2pk/filenames.h new file mode 100644 index 00000000000..3eda4744dda --- /dev/null +++ b/Build/source/texk/ps2pk/filenames.h @@ -0,0 +1,27 @@ +/* FILE: filenames.h + * PURPOSE: functions for handling file names + */ + +/* + * 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, const 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, const char *ext); + +/* + * ps_resource returns true if name can be treated as a PS resource + */ +int ps_resource(const char *name); |