diff options
author | Taco Hoekwater <taco@elvenkind.com> | 2010-04-04 13:55:46 +0000 |
---|---|---|
committer | Taco Hoekwater <taco@elvenkind.com> | 2010-04-04 13:55:46 +0000 |
commit | f372862c42d234710b6057449b46818e63181c90 (patch) | |
tree | a9ebec66dd31ac37aed442502ebd1b9fe76245ec /Build/source/texk/web2c/luatexdir/tex/filename.h | |
parent | 2dad291ab056f30816e0aea61970f38033c2f6a5 (diff) |
import luatex 0.60.0 (with small local changes, see luatexdir/ChangeLog)
and do an autoreconf
git-svn-id: svn://tug.org/texlive/trunk@17680 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/filename.h')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/filename.h | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/filename.h b/Build/source/texk/web2c/luatexdir/tex/filename.h new file mode 100644 index 00000000000..d0e54283436 --- /dev/null +++ b/Build/source/texk/web2c/luatexdir/tex/filename.h @@ -0,0 +1,34 @@ +/* filename.h + + Copyright 2009 Taco Hoekwater <taco@luatex.org> + + This file is part of LuaTeX. + + LuaTeX is free software; you can redistribute it and/or modify it under + the terms of the GNU General Public License as published by the Free + Software Foundation; either version 2 of the License, or (at your + option) any later version. + + LuaTeX is distributed in the hope that it will be useful, but WITHOUT + ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public + License for more details. + + You should have received a copy of the GNU General Public License along + with LuaTeX; if not, see <http://www.gnu.org/licenses/>. */ + +/* $Id: filename.h 3376 2010-01-25 16:50:23Z taco $ */ + +#ifndef FILENAME_H +# define FILENAME_H + +extern void scan_file_name(void); +extern void scan_file_name_toks(void); +extern char *pack_job_name(const char *s); +extern char *prompt_file_name(const char *s, const char *e); +extern void tprint_file_name(unsigned char *n, unsigned char *a, + unsigned char *e); +extern void print_file_name(str_number, str_number, str_number); + + +#endif |