X-Git-Url: https://git.decadent.org.uk/gitweb/?a=blobdiff_plain;f=doc%2Fionconf%2Fimages.pl;fp=doc%2Fionconf%2Fimages.pl;h=0000000000000000000000000000000000000000;hb=a6561c9679cd701b0d50c3cfd44e4664f7df2b2f;hp=d6e7651a8b8375d1b314d9b0aeeeaeb91bd3f615;hpb=cd09055902de482a1be019bf4b4efdae64c98d35;p=ion3.git

diff --git a/doc/ionconf/images.pl b/doc/ionconf/images.pl
deleted file mode 100644
index d6e7651..0000000
--- a/doc/ionconf/images.pl
+++ /dev/null
@@ -1,42 +0,0 @@
-# LaTeX2HTML 2002-2-1 (1.71)
-# Associate images original text with physical files.
-
-
-$key = q/-1;MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q|<IMG
- WIDTH="27" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
- SRC="|."$dir".q|img4.png"
- ALT="$-1$">|; 
-
-$key = q/(0,1];MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q|<IMG
- WIDTH="42" HEIGHT="36" ALIGN="MIDDLE" BORDER="0"
- SRC="|."$dir".q|img3.png"
- ALT="$(0, 1]$">|; 
-
-$key = q/N=1{ldots}5;MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q|<IMG
- WIDTH="82" HEIGHT="15" ALIGN="BOTTOM" BORDER="0"
- SRC="|."$dir".q|img2.png"
- ALT="$N=1{\ldots} 5$">|; 
-
-$key = q/-2;MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q|<IMG
- WIDTH="27" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
- SRC="|."$dir".q|img5.png"
- ALT="$-2$">|; 
-
-$key = q/n;MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q|<IMG
- WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
- SRC="|."$dir".q|img1.png"
- ALT="$n$">|; 
-
-$key = q/{t,m,b}times{t,c,b};MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q|<IMG
- WIDTH="142" HEIGHT="36" ALIGN="MIDDLE" BORDER="0"
- SRC="|."$dir".q|img6.png"
- ALT="$\{t,m,b\}\times\{t,c,b\}$">|; 
-
-1;
-