diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-17 21:41:51 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-17 21:41:51 +0000 |
commit | 487ca4806cc046076293cf6cc5fbba0db282bac7 (patch) | |
tree | 847b412ab5158dd7bdd7ed7e5a4cc3fbca94be32 /Build/source/texk/ps2pkm/filenames.h | |
parent | a3d3111bfe26b8e5f5bc6049dfb2a4ca2edc7881 (diff) |
texk 1
git-svn-id: svn://tug.org/texlive/trunk@1485 c570f23f-e606-0410-a88d-b1316a301751
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); |