1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
proc crudetype (
file,f : file = $required
starting_page,sp : integer = $optional
maximum_pages,mp : integer = $optional
page_numbers,pn : boolean = true
extra_magnification,em : integer = 100
status)
filename= $path($fname($string($value(file))),catalog)//..
'.'//$path($fname($string($value(file))),last)
if $strlen(filename) >=4 and ..
$substr(filename,$strlen(filename)-3,4)='_DVI' then
else
filename=filename//'_DVI'
ifend
filename2=$substr(filename,1,$strlen(filename)-3)//'LST'
copy_file $fname(filename) $null " checks if file exists "
if $specified(starting_page) then; starting_variable=$value(starting_page)
else; starting_variable=0; ifend
if $specified(maximum_pages) then; max_pages_variable=$value(maximum_pages)
else; max_pages_variable=1000000; ifend
exet f=:$lib.public.tex.bin.tex_library ..
m=crudetype_module ..
l=:$lib.public.tex.bin.tex_library ..
pv=zero ..
p= ..
',,,printfile=$fname(filename2),dvifile=$fname(filename),tfm_file,pxlfile,'//..
'PAGENUMBERS=$value(pn),FIRSTPAGE=starting_variable,'//..
'MAXPAGES=max_pages_variable,VAREXTRAMAG=$value(em)'
procend
|