diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-29 08:25:00 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-29 08:25:00 +0000 |
commit | 0f81c6717bd7d19eb1e3091b5f18d1f3d988e02c (patch) | |
tree | 133ab4a9d283da622288eda7c70bc21598214efa /Build/source/texk/web2c/pdftexdir/ptexlib.h | |
parent | d45ffb58c11249942c6b06e8f1bbcb70dbf3c6dc (diff) |
Reorganize pdftex headers
git-svn-id: svn://tug.org/texlive/trunk@18039 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/ptexlib.h')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/ptexlib.h | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/ptexlib.h b/Build/source/texk/web2c/pdftexdir/ptexlib.h index fa555341ebc..82b4806f145 100644 --- a/Build/source/texk/web2c/pdftexdir/ptexlib.h +++ b/Build/source/texk/web2c/pdftexdir/ptexlib.h @@ -168,10 +168,12 @@ extern const char *ptexbanner; /* pdftexlib function prototypes */ +/* prototypes used in C code as well as pdftoepdf.cc */ +#include "pdftex-common.h" + /* epdf.c */ extern integer get_fontfile_num(int); extern integer get_fontname_num(int); -extern void epdf_free(void); /* mapfile.c */ extern fm_entry *lookup_fontmap(char *); @@ -220,18 +222,8 @@ extern void fb_seek(integer); extern void libpdffinish(void); extern char *makecfilename(strnumber s); extern void make_subset_tag(fd_entry *); -__attribute__ ((format(printf, 1, 2))) -extern void pdf_printf(const char *, ...); -extern void pdf_puts(const char *); -__attribute__ ((noreturn, format(printf, 1, 2))) -extern void pdftex_fail(const char *, ...); -__attribute__ ((format(printf, 1, 2))) -extern void pdftex_warn(const char *, ...); extern void setjobid(int, int, int, int); -__attribute__ ((format(printf, 1, 2))) -extern void tex_printf(const char *, ...); extern void writestreamlength(integer, longinteger); -extern char *convertStringToPDFString(const char *in, int len); extern void printID(strnumber); extern void printcreationdate(void); extern void printmoddate(void); |