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=de01e0dd832dc5eeac12f504d02b362c52bb4557;hp=d6e7651a8b8375d1b314d9b0aeeeaeb91bd3f615;hpb=24c77c99349b1ebb879c674e3c33a90c125983a5;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||;
-
-$key = q/(0,1];MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q||;
-
-$key = q/N=1{ldots}5;MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q||;
-
-$key = q/-2;MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q||;
-
-$key = q/n;MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q||;
-
-$key = q/{t,m,b}times{t,c,b};MSF=1.6;LFS=11;AAT/;
-$cached_env_img{$key} = q||;
-
-1;
-