From 263388c0bbbeb5a7e5e89f38aa93fd9d9cc8f22f Mon Sep 17 00:00:00 2001 From: rsc Date: Thu, 10 Jun 2004 19:52:59 +0000 Subject: [PATCH] use psv --- plumb/basic | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plumb/basic b/plumb/basic index eaea8178..2f4be3f5 100644 --- a/plumb/basic +++ b/plumb/basic @@ -54,7 +54,7 @@ data matches '[a-zA-Z¡- data matches '([a-zA-Z¡-￿0-9_\-./]+)\.(ps|PS|eps|EPS|pdf|PDF|dvi|DVI)' arg isfile $0 plumb to postscript -plumb start gv $file +plumb start psv $file # plumb start page -w $file # existing files, possibly tagged by line number, go to editor