X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fcasl2lib%2Fdiva%2Fcmd;fp=doc%2Fcasl2lib%2Fdiva%2Fcmd;h=0000000000000000000000000000000000000000;hb=514845d283c9022385f367c96e0345bb7cde5396;hp=c758964e79dbad171422e5bb7d1372a10aca94cc;hpb=3242e69dd21cc00458447c231ef63f876ea54ad1;p=YACASL2.git

diff --git a/doc/casl2lib/diva/cmd b/doc/casl2lib/diva/cmd
deleted file mode 100755
index c758964..0000000
--- a/doc/casl2lib/diva/cmd
+++ /dev/null
@@ -1,3 +0,0 @@
-PATH=../../..:$PATH
-CASL2LIBDIR=../../../as/casl2lib
-casl2 call_diva.casl $CASL2LIBDIR/diva.casl $CASL2LIBDIR/divl.casl $CASL2LIBDIR/outa.casl $CASL2LIBDIR/abs.casl $CASL2LIBDIR/rev.casl