summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/ptexlib.h
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-29 08:25:00 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-29 08:25:00 +0000
commit0f81c6717bd7d19eb1e3091b5f18d1f3d988e02c (patch)
tree133ab4a9d283da622288eda7c70bc21598214efa /Build/source/texk/web2c/pdftexdir/ptexlib.h
parentd45ffb58c11249942c6b06e8f1bbcb70dbf3c6dc (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.h14
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);