1 extern void pdf_init_fontmaps(void);
\r
2 extern void pdf_close_fontmaps(void);
\r
3 extern void pdf_doc_set_creator(const char * creator);
\r
4 extern void pdf_doc_set_producer(const char * producer);
\r
5 extern void pdf_set_version(unsigned version);
\r
6 extern void pdf_set_compression(int level);
\r
7 extern void pdf_files_init(void);
\r
8 extern void pdf_files_close(void);
\r
9 extern void graphics_mode (void);
\r
10 extern long pdf_output_stats (void);
\r
11 extern void pdf_init_device(double dvi2pts, int precision, int black_and_white);
\r
12 extern void pdf_close_device(void);
\r
13 extern void pdf_open_document(const char *filename,
\r
16 double media_height,
\r
17 double annot_grow_amount,
\r
18 int bookmark_open_depth,
\r
20 extern void pdf_close_document(void);
\r
21 extern void pdf_doc_begin_page(double scale, double x_origin, double y_origin);
\r
22 extern void pdf_doc_end_page(void);
\r
23 extern int spc_exec_at_begin_document(void);
\r
24 extern int spc_exec_at_end_document(void);
\r
25 extern int spc_exec_at_begin_page(void);
\r
26 extern int spc_exec_at_end_page(void);
\r
27 typedef signed long spt_t;
\r
28 extern int dvi_locate_font (const char * name, spt_t ptsize);
\r
29 extern int spc_exec_special (const char *buffer, long size, double x_user, double y_user, double dpx_mag);
\r
30 extern int pdf_dev_locate_font(const char *font_name, spt_t ptsize);
\r
31 extern void pdf_dev_set_rule(spt_t xpos, spt_t ypos, spt_t width, spt_t height);
\r
32 extern void pdf_dev_set_string (spt_t xpos,
\r
34 const void *instr_ptr,
\r
39 extern void read_config_file (const char *config);
\r
40 extern void pdf_hlist_out (void);
\r
41 extern void pdf_vlist_out (void);
\r
42 extern void pdf_synch_h (void);
\r
43 extern void pdf_synch_h (void);
\r