diff options
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 |