home *** CD-ROM | disk | FTP | other *** search
- /* this does a dvidot -o par: filename */
- OPTIONS results
-
- STATUS F
-
- parse var result filename "." rest
-
-
- STATUS D
-
- parse var result dev ":" subdir
- if dev = "" then directory = ":"
- else directory = dev||":"
-
- if subdir ~= "" then directory = directory||subdir||"/"
-
- filename = directory||filename
-
- address COMMAND "run dvidot -o par:" filename".dvi"
-