/* dev.h Interface to output drivers for dvi.c
 * Copyright 1985 Massachusetts Institute of Technology.
 * Author: cjl@oz
 */

extern dev_setc();
/* dev_setc(ch,xsize)
 *      unsigned long ch;
 *      int xsize;
 */


extern dev_position();
/* dev_position(x,y)
 *      long x,y;
 */


extern dev_draw_box();
/* dev_draw_box(h,w)
 *      long h,w;
 */

extern dev_eop();


#define DEV_INIT_LANDSCAPE    0x00000001

extern dev_init();
/* dev_init(f,options,dpi)
 *      FILE *f;
 *      unsigned long options;
 *      long *dpi;
 */

extern dev_print_log();
/* dev_print_log(f)
 *  FILE *f;
 */

extern dev_term();

extern dev_special();
/* dev_special(nchars,f)
 *  int nchars;
 *  FILE *f;
 */