Merged upstream version 20071109 (now without docs kluged into it).

[ion3.git] / doc / ionconf / images.pl

diff --git a/doc/ionconf/images.pl b/doc/ionconf/images.pl
deleted file mode 100644 (file)
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;
-