diff options
| -rw-r--r-- | plumb/basic | 2 |
1 files changed, 1 insertions, 1 deletions
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¡-0-9_\-./]+' 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 |