#! /bin/csh

if ( $#argv != 1 ) then
  echo "PRINT_TOOL_DOC needs to know the printer device you are using"
  echo "ie:"
  echo "$ PRINT_TOOL_DOC sparc"
  echo "if your printer is named sparc."
  exit
endif
# miscellaneous
lpr -P$1 -h TOOLS/reverse/vst_r.ps
lpr -P$1 -h COVERPAGE/vst.ps
lpr -P$1 -h TOOLS/reverse/vhdl_r.ps
lpr -P$1 -h COVERPAGE/vhdl.ps
lpr -P$1 -h TOOLS/reverse/vbe_r.ps
lpr -P$1 -h COVERPAGE/vbe.ps
lpr -P$1 -h TOOLS/reverse/pat_r.ps
lpr -P$1 -h COVERPAGE/pat.ps
lpr -P$1 -h TOOLS/reverse/environ_r.ps
lpr -P$1 -h COVERPAGE/environ.ps
lpr -P$1 -h TOOLS/reverse/catal_r.ps
lpr -P$1 -h COVERPAGE/catal.ps
lpr -P$1 -h TOOLS/reverse/ap_r.ps
lpr -P$1 -h COVERPAGE/ap.ps
lpr -P$1 -h TOOLS/reverse/al_r.ps
lpr -P$1 -h COVERPAGE/al.ps
# list of tools
lpr -P$1 -h TOOLS/reverse/versatil_r.ps
lpr -P$1 -h COVERPAGE/versatil.ps
lpr -P$1 -h TOOLS/reverse/s2r_r.ps
lpr -P$1 -h COVERPAGE/s2r.ps
lpr -P$1 -h TOOLS/reverse/scr_r.ps
lpr -P$1 -h COVERPAGE/scr.ps
lpr -P$1 -h TOOLS/reverse/ring_r.ps
lpr -P$1 -h COVERPAGE/ring.ps
lpr -P$1 -h TOOLS/reverse/proof_r.ps
lpr -P$1 -h COVERPAGE/proof.ps
lpr -P$1 -h TOOLS/reverse/mbk2ps_r.ps
lpr -P$1 -h COVERPAGE/mbk2ps.ps
lpr -P$1 -h TOOLS/reverse/lynx_r.ps
lpr -P$1 -h COVERPAGE/lynx.ps
lpr -P$1 -h TOOLS/reverse/lvx_r.ps
lpr -P$1 -h COVERPAGE/lvx.ps
lpr -P$1 -h TOOLS/reverse/logic_r.ps
lpr -P$1 -h COVERPAGE/logic.ps
lpr -P$1 -h TOOLS/reverse/genpat_r.ps
lpr -P$1 -h COVERPAGE/genpat.ps
lpr -P$1 -h TOOLS/reverse/genlib_r.ps
lpr -P$1 -h COVERPAGE/genlib.ps
lpr -P$1 -h TOOLS/reverse/desb_r.ps
lpr -P$1 -h COVERPAGE/desb.ps
lpr -P$1 -h TOOLS/reverse/asimut_r.ps
lpr -P$1 -h COVERPAGE/asimut.ps
lpr -P$1 -h TOOLS/reverse/alc_r.ps
lpr -P$1 -h COVERPAGE/alc.ps

