diff options
Diffstat (limited to 'share/doc/iso/wisc/preview')
-rwxr-xr-x | share/doc/iso/wisc/preview | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/share/doc/iso/wisc/preview b/share/doc/iso/wisc/preview new file mode 100755 index 0000000..6069d4e --- /dev/null +++ b/share/doc/iso/wisc/preview @@ -0,0 +1,7 @@ +#! /bin/csh -f +echo $argv +set dev=fa +foreach m ($argv) + grn -P$dev $m.grn > $m.nr + ditroff -P$dev $m.nr +end |